Module `Current_time`

Current Time functions

val get_current_utctimestamp_milli : Imandra_prelude.unit -> Datetime.fix_utctimestamp_milli
val get_current_utctimestamp_micro : Imandra_prelude.unit -> Datetime.fix_utctimestamp_micro
val get_current_utctimeonly_milli : Imandra_prelude.unit -> Datetime.fix_utctimeonly_milli
val get_current_utctimeonly_micro : Imandra_prelude.unit -> Datetime.fix_utctimeonly_micro
val get_current_utcdateonly : Imandra_prelude.unit -> Datetime.fix_utcdateonly
val get_current_monthyear : Imandra_prelude.unit -> Datetime.fix_monthyear
val get_current_localmktdate : Imandra_prelude.unit -> Datetime.fix_localmktdate