Module Dolmen_smtlib2_poly.PrintSource
Printing functions.
Sourceexception Cannot_print of string Sourceval _cannot_print :
('a, Stdlib.Format.formatter, unit, 'b) Stdlib.format4 ->
'a Sourceval is_whitespace : char -> bool Sourceval is_printable : char -> bool Sourceval is_quoted_symbol_char : char -> bool Sourceval is_letter : char -> bool Sourceval is_digit : char -> bool Sourceval is_other_simple_symbol_chars : char -> bool Sourceval is_simple_symbol_char : char -> bool Sourcetype symbol = | Simple| Quoted| Unprintable