Module `Parse_base_types`

Parsers for base types.

val parse_string : Imandra_prelude.string -> Imandra_prelude.string option
val parse_symbol : Imandra_prelude.string -> Imandra_prelude.string option
val parse_char : Imandra_prelude.string -> Imandra_prelude.string option
val parse_int : Imandra_prelude.string -> Imandra_prelude.int option
val parse_bool : Imandra_prelude.string -> bool option
val pow10 : Imandra_prelude.int -> Z.t
val parse_float : Imandra_prelude.string -> Numeric.fix_float_6 option: Convert string to fix_float type.