spice::core
pub const TIME_FORMAT: &str = "YYYY-MON-DD HR:MN:SC ::RND";
Instructions to format an ephemeris time to a string.