BatHashcons
Hash consing of data structures
type 'a hobj = private {
obj : 'a; | |
tag : int; | (* Unique id for this object *) |
hcode : int; | (* Hash code for this object *) |
}
The type t hobj
represents hashed objects of type t
. A hashed object contains a unique tag and a hash code.
type 'a t = 'a hobj
A synonym for convenience
module type Table = sig ... end
Hashcons tables
module H : sig ... end
Hashing utilities