Parameter Term_allocator.1-T

val p_id : Mc2_core__.Solver_types.plugin_id

ID of the theory

val initial_size : int

ID of the theory

initial size of table

val equal : view -> view -> bool

initial size of table

Shallow equality of two views of the plugin

val hash : view -> int

Shallow equality of two views of the plugin

Shallow hash of a view of the plugin

val tc : TC.lazy_tc

Shallow hash of a view of the plugin

Typeclass for terms