Module `Encode_base_types`

JSON printers/parsers for base FIX types.

val encode_int : Imandra_prelude.int -> Imandra_prelude.String.t
val encode_char : 'a -> 'a
val encode_float_0 : Numeric.fix_float_0 -> string
val encode_float_1 : Numeric.fix_float_1 -> string
val encode_float_2 : Numeric.fix_float_2 -> string
val encode_float_3 : Numeric.fix_float_3 -> string
val encode_float_4 : Numeric.fix_float_4 -> string
val encode_float_5 : Numeric.fix_float_5 -> string
val encode_float_6 : Numeric.fix_float_6 -> string
val encode_float : Numeric.fix_float_6 -> string
val encode_string : 'a -> 'a
val encode_symbol : 'a -> 'a
val encode_bool : bool -> Imandra_prelude.string