Module TimeDefaults_parser
val parse_UTCTimestamp : Imandra_prelude.String.t -> Datetime.fix_utctimestamp_milli optionval parse_UTCTimeOnly : Imandra_prelude.String.t -> Datetime.fix_utctimeonly_milli option
TimeDefaults_parserval parse_UTCTimestamp : Imandra_prelude.String.t -> Datetime.fix_utctimestamp_milli optionval parse_UTCTimeOnly : Imandra_prelude.String.t -> Datetime.fix_utctimeonly_milli option