pub fn traffic_signal( ctx: &mut EventCtx<'_>, app: &App, details: &mut Details, id: IntersectionID, ) -> Widget