Module TimeDefaults_current_time
Printers for core types appearing in messages
val get_current_utctimestamp : Imandra_prelude.unit -> Datetime.fix_utctimestamp_millival get_current_utctimeonly : Imandra_prelude.unit -> Datetime.fix_utctimeonly_milli