module BatHashcons:sig
..end
type 'a
hobj = private {
|
obj : |
|||
|
tag : |
(* | Unique id for this object | *) |
|
hcode : |
(* | Hash code for this object | *) |
t hobj
represents hashed objects of type t
. A hashed
object contains a unique tag and a hash code.type'a
t ='a hobj
val compare : 'a hobj -> 'a hobj -> int
module type Table =sig
..end
module MakeTable:
module H:sig
..end