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