package touist

  1. Overview
  2. Docs

Module Touist.SmtSource

Process an evaluated AST given by Eval.eval and produces a string in SMT-LIB2 format.

to_smt2 is the main function.

Sourceval to_smt2 : string -> Types.AstSet.elt -> Buffer.t