Module Encode_datetime
Parsers for datetime types.
val encode_UTCDateOnly : Datetime.fix_utcdateonly -> Imandra_prelude.stringval encode_LocalMktDate : Datetime.fix_localmktdate -> Imandra_prelude.stringval encode_UTCTimeOnly_milli : Datetime.fix_utctimeonly_milli -> Imandra_prelude.stringval encode_UTCTimeOnly_micro : Datetime.fix_utctimeonly_micro -> Imandra_prelude.stringval encode_UTCTimestamp_milli : Datetime.fix_utctimestamp_milli -> Imandra_prelude.stringval encode_UTCTimestamp_micro : Datetime.fix_utctimestamp_micro -> Imandra_prelude.stringval encode_MonthYear : Datetime.fix_monthyear -> Imandra_prelude.stringval encode_Duration : Datetime.fix_duration -> Imandra_prelude.string