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