Module Base_types_json

JSON printers/parsers for base FIX types.

module JU = Yojson.Basic.Util
val f : Imandra_prelude.String.t -> Imandra_prelude.Caml.Int.t -> char
val int_to_json : Z.t -> Yojson.json
val int_opt_to_json : Imandra_prelude.int option -> Yojson.json
val json_to_int_opt : Yojson.Basic.json -> Imandra_prelude.int option
val char_to_json : 'a -> [> `String of 'a ]
val char_opt_to_json : 'a option -> [> `Null | `String of 'a ]
val json_to_char_opt : Yojson.Basic.json -> Imandra_prelude.string option
val float_0_to_json : Numeric.fix_float_0 -> Yojson.json
val float_0_opt_to_json : Numeric.fix_float_0 option -> Yojson.json
val json_to_float_0_opt : Yojson.Basic.json -> Numeric.fix_float_0 option
val float_1_to_json : Numeric.fix_float_1 -> Yojson.json
val float_1_opt_to_json : Numeric.fix_float_1 option -> Yojson.json
val json_to_float_1_opt : Yojson.Basic.json -> Numeric.fix_float_1 option
val float_2_to_json : Numeric.fix_float_2 -> Yojson.json
val float_2_opt_to_json : Numeric.fix_float_2 option -> Yojson.json
val json_to_float_2_opt : Yojson.Basic.json -> Numeric.fix_float_2 option
val float_3_to_json : Numeric.fix_float_3 -> Yojson.json
val float_3_opt_to_json : Numeric.fix_float_3 option -> Yojson.json
val json_to_float_3_opt : Yojson.Basic.json -> Numeric.fix_float_3 option
val float_4_to_json : Numeric.fix_float_4 -> Yojson.json
val float_4_opt_to_json : Numeric.fix_float_4 option -> Yojson.json
val json_to_float_4_opt : Yojson.Basic.json -> Numeric.fix_float_4 option
val float_5_to_json : Numeric.fix_float_5 -> Yojson.json
val float_5_opt_to_json : Numeric.fix_float_5 option -> Yojson.json
val json_to_float_5_opt : Yojson.Basic.json -> Numeric.fix_float_5 option
val float_6_to_json : Numeric.fix_float_6 -> Yojson.json
val float_6_opt_to_json : Numeric.fix_float_6 option -> Yojson.json
val json_to_float_6_opt : Yojson.Basic.json -> Numeric.fix_float_6 option
val float_to_json : Numeric.fix_float_6 -> Yojson.json
val float_opt_to_json : Numeric.fix_float_6 option -> Yojson.json
val json_to_float_opt : Yojson.Basic.json -> Numeric.fix_float_6 option
val string_to_json : string -> Yojson.json
val json_to_string_opt : Yojson.Basic.json -> Imandra_prelude.string option
val string_opt_to_json : string option -> Yojson.json
val symbol_to_json : string -> Yojson.json
val json_to_symbol_opt : Yojson.Basic.json -> Imandra_prelude.string option
val symbol_opt_to_json : string option -> Yojson.json
val bool_to_json : bool -> Yojson.json
val json_to_bool_opt : Yojson.Basic.json -> bool option
val bool_opt_to_json : bool option -> Yojson.json