Module TimeDefaults_pp
val encode_UTCTimeOnly : Datetime.fix_utctimeonly_milli -> Imandra_prelude.stringval encode_UTCTimestamp : Datetime.fix_utctimestamp_milli -> Imandra_prelude.string
TimeDefaults_ppval encode_UTCTimeOnly : Datetime.fix_utctimeonly_milli -> Imandra_prelude.stringval encode_UTCTimestamp : Datetime.fix_utctimestamp_milli -> Imandra_prelude.string