module type Hashcons =sig
..end
Hashcons
below.type
elt
include Datatype.S_with_collections
State_builder.Hashcons.elt
val hashcons : elt -> t
val get : t -> elt
val id : t -> int
id x = id y
is equivalent to equality on State_builder.Hashcons.elt
.val self : State.t