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 |
val print : Stdlib.Format.formatter -> sat_tdecl -> unit