Function map_gui::render::traffic_signal::draw_time_left

fn draw_time_left(
    app: &dyn AppLike, 
    prerender: &Prerender, 
    stage: &Stage, 
    i: IntersectionID, 
    idx: usize, 
    time_left: Duration, 
    batch: &mut GeomBatch
)