module Stringfier: sig .. end
val literalToSygusString : Ast.literal -> Ast.numeral
val featureToSygusString : Ast.feature -> string
val symbolToSygusString : Ast.symbol -> string
val indexToSygusString : Ast.index -> Ast.numeral
val indexlistToSygusString : Ast.index list -> string
val identifierToSygusString : Ast.identifier -> string
val sortToSygusString : Ast.sort -> string
val sortdeclToSygusString : Ast.sort_decl -> string
val sortedvarToSygusString : Ast.sorted_var -> string
val sortedvarlistToSygusString : Ast.sorted_var list -> string
val dtconddecToSygusString : Ast.dt_cond_dec -> string
val dtdecToSygusString : Ast.dt_dec -> string
val termToSygusString : Ast.term -> Ast.numeral
val bftermToSygusString : Ast.bf_term -> Ast.numeral
val gtermToSygusString : Ast.gterm -> Ast.numeral
val smtcmdToSygusString : Ast.smt_cmd -> string
val cmdToSygusString : Ast.cmd -> string
val astToSygusString : Ast.cmd list -> string
val astToZ3StringList : Ast.cmd list -> string list -> string list
val astToZ3string : Ast.cmd list -> string