Function format_time 

pub fn format_time(t: &NaiveTime) -> String

Format a NaiveTime as HH:MM:SS[.frac], trimming trailing fractional zeros.