Parameter Term_allocator.1-T
val p_id : Mc2_core__.Solver_types.plugin_id
ID of the theory
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