fn traffic_body( ctx: &mut EventCtx<'_>, app: &App, id: IntersectionID, opts: &DataOptions, ) -> Widget