Dolmen_smtlib2_v6_script.PrintPrinting functions.
Exception raised when some input cannot be printed due to lexical conventions. In that case, the string contains a message explaining why the printing failed.
val id : Format.formatter -> Dolmen_std.Name.t -> unitPrint an identifier, quoting it if necessary.