Module AltErgoLib.Commands

type sat_decl_aux =
| Assume of string * Expr.t * bool
| PredDef of Expr.t * string
| RwtDef of Expr.t Typed.rwt_rule list
| Query of string * Expr.t * Typed.goal_sort
| ThAssume of Expr.th_elt
type sat_tdecl = {
st_loc : Loc.t;
st_decl : sat_decl_aux;
}
val print : Stdlib.Format.formatter -> sat_tdecl -> unit