Module Fix.HashCons
HashCons
offers support for setting up a hash-consed data type, that is, a data type whose values carry unique integer identifiers.
type 'data cell
= private
{
}
val id : 'data cell -> int
val data : 'data cell -> 'data
val equal : 'data cell -> 'data cell -> bool
val compare : 'data cell -> 'data cell -> int
val hash : 'data cell -> int