Module Term.Term_allocator
Parameters
Signature
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_allocator
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