Module TimeDefaults

Printers for core types appearing in messages

type milli_micro =
| Milli
| Micro
val default_time_precision : milli_micro
type fix_utctimestamp = Datetime.fix_utctimestamp_milli
type fix_utctimeonly = Datetime.fix_utctimeonly_milli
val make_utctimestamp : Imandra_prelude.int -> Imandra_prelude.int -> Imandra_prelude.int -> Imandra_prelude.int -> Imandra_prelude.int -> Imandra_prelude.int -> Imandra_prelude.int option -> Datetime.fix_utctimestamp_milli
val make_utctimeonly : Imandra_prelude.int -> Imandra_prelude.int -> Imandra_prelude.int -> Imandra_prelude.int option -> Datetime.fix_utctimeonly_milli
val is_valid_utctimestamp : Datetime.fix_utctimestamp_milli -> bool
val utctimestamp_Equal : Datetime.fix_utctimestamp_milli -> Datetime.fix_utctimestamp_milli -> bool
val utctimestamp_LessThanEqual : Datetime.fix_utctimestamp_milli -> Datetime.fix_utctimestamp_milli -> bool
val utctimestamp_LessThan : Datetime.fix_utctimestamp_milli -> Datetime.fix_utctimestamp_milli -> bool
val utctimestamp_GreaterThan : Datetime.fix_utctimestamp_milli -> Datetime.fix_utctimestamp_milli -> bool
val utctimestamp_GreaterThanEqual : Datetime.fix_utctimestamp_milli -> Datetime.fix_utctimestamp_milli -> bool
val utctimestamp_duration_Add : Datetime.fix_utctimestamp_milli -> Datetime.fix_duration -> Datetime.fix_utctimestamp_milli
val is_valid_utctimeonly : Datetime.fix_utctimeonly_milli -> bool
val utctimeonly_Equal : Datetime.fix_utctimeonly_milli -> Datetime.fix_utctimeonly_milli -> bool
val utctimeonly_LessThanEqual : Datetime.fix_utctimeonly_milli -> Datetime.fix_utctimeonly_milli -> bool
val utctimeonly_LessThan : Datetime.fix_utctimeonly_milli -> Datetime.fix_utctimeonly_milli -> bool
val utctimeonly_GreaterThan : Datetime.fix_utctimeonly_milli -> Datetime.fix_utctimeonly_milli -> bool
val utctimeonly_GreaterThanEqual : Datetime.fix_utctimeonly_milli -> Datetime.fix_utctimeonly_milli -> bool