Module type Term.TERM_ALLOC
val delete : t -> unit
Make a term of the theory
Delete a term of the theory
val iter_terms : Mc2_core__.Solver_types.term Iter.t
Delete a term of the theory
All terms
Term.TERM_ALLOC
val delete : t -> unit
Make a term of the theory
Delete a term of the theory
val iter_terms : Mc2_core__.Solver_types.term Iter.t
Delete a term of the theory
All terms