Module Mc2_core.Statement

type t = Mc2_core__.Solver_types.statement =
| Stmt_set_logic of string
| Stmt_set_option of string list
| Stmt_set_info of string * string
| Stmt_ty_decl of ID.t * int
| Stmt_decl of ID.t * Mc2_core__.Solver_types.ty list * Mc2_core__.Solver_types.ty
| Stmt_define of Mc2_core__.Solver_types.definition list
| Stmt_assert_clauses of Mc2_core__.Solver_types.atom list list
| Stmt_check_sat
| Stmt_exit
val pp : t Mc2_core__.Solver_types.Fmt.printer