Module type State_builder.Hashcons

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