Process an evaluated AST given by Eval.eval and produces a string in SMT-LIB2 format.
to_smt2 is the main function.
to_smt2
val to_smt2 : string ‑> Types.AstSet.elt ‑> Buffer.t