module type Hashcons =sig
..end
Output signature of Hashcons
below.
type
elt
The type of the elements that are hash-consed
include Datatype.S_with_collections
hashconsed version of State_builder.Hashcons.elt
val hashcons : elt -> t
Injection as an hashconsed value.
val get : t -> elt
Projection out of hashconsing.
val id : t -> int
Id of an hashconsed value. Unique:
id x = id y
is equivalent to equality on State_builder.Hashcons.elt
.
val self : State.t