Module `Core_printer`

Printers for core types appearing in messages

val fix_float_0_to_string : Numeric.fix_float_0 -> string
val fix_float_1_to_string : Numeric.fix_float_1 -> string
val fix_float_2_to_string : Numeric.fix_float_2 -> string
val fix_float_3_to_string : Numeric.fix_float_3 -> string
val fix_float_4_to_string : Numeric.fix_float_4 -> string
val fix_float_5_to_string : Numeric.fix_float_5 -> string
val fix_float_6_to_string : Numeric.fix_float_6 -> string
val fix_float_to_string : Numeric.fix_float_6 -> string
val int_to_string : Imandra_prelude.int -> Imandra_prelude.String.t
val bool_to_string : bool -> Imandra_prelude.string
val fix_string_to_string : 'a -> 'a
val fix_utcdateonly_to_string : Datetime.fix_utcdateonly -> Imandra_prelude.string
val fix_localmktdate_to_string : Datetime.fix_localmktdate -> Imandra_prelude.string
val fix_utctimeonly_to_string : Datetime.fix_utctimeonly_milli -> Imandra_prelude.string
val fix_utctimestamp_to_string : Datetime.fix_utctimestamp_milli -> Imandra_prelude.string
val fix_monthyear_to_string : Datetime.fix_monthyear -> Imandra_prelude.string
val fix_duration_to_string : Datetime.fix_duration -> Imandra_prelude.string