package mc2

  1. Overview
  2. Docs
val p_id : int

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