Module Dolmen_smtlib2_poly.Print

Printing functions.

module L : sig ... end
exception Cannot_print of string
val _cannot_print : ('a, Format.formatter, unit, 'b) format4 -> 'a
val is_whitespace : char -> bool
val is_printable : char -> bool
val is_quoted_symbol_char : char -> bool
val is_letter : char -> bool
val is_digit : char -> bool
val is_other_simple_symbol_chars : char -> bool
val is_simple_symbol_char : char -> bool
type symbol =
  1. | Simple
  2. | Quoted
  3. | Unprintable
val categorize_symbol : string -> symbol