Module `Parse_datetime`

Parsers for datetime types.

val parse_UTCDateOnly : Imandra_prelude.String.t -> Datetime.fix_utcdateonly option
val parse_LocalMktDate : Imandra_prelude.String.t -> Datetime.fix_localmktdate option
val parse_UTCTimeOnly_milli : Imandra_prelude.String.t -> Datetime.fix_utctimeonly_milli option
val parse_UTCTimeOnly_micro : Imandra_prelude.String.t -> Datetime.fix_utctimeonly_micro option
val parse_UTCTimestamp_milli : Imandra_prelude.String.t -> Datetime.fix_utctimestamp_milli option
val parse_UTCTimestamp_micro : Imandra_prelude.String.t -> Datetime.fix_utctimestamp_micro option
val parse_MonthYear : Imandra_prelude.String.t -> Datetime.fix_monthyear option
val parse_Duration : Imandra_prelude.string -> Datetime.fix_duration option