Module Smtlib2.S

exception Unknown_ty_builtin of View.ty_cst
exception Unknown_term_builtin of View.term_cst
type acc
val nothing : acc
val need_univ : acc -> bool
val need_unit : acc -> bool
val to_logic : acc -> Dolmen_type__Logic.Smtlib2.t
val scan_ty : acc -> View.Ty.t -> acc
val scan_term_decl : in_adt:bool -> acc -> View.Term.Cst.t -> acc
val scan_term : acc -> View.Term.t -> acc
val add_datatypes : acc -> acc
val add_free_sort : acc -> acc
val add_free_funs : acc -> acc