package mc2

  1. Overview
  2. Docs

Parameters

module T : TERM_ALLOC_OPS

Signature

val make : view -> Type.t -> t

Make a term of the theory

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

val gc_all : unit -> int

All terms

GC all unmarked tems; unmark alive terms

OCaml

Innovation. Community. Security.