module Hashcons: BatHashconstype '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'at ='a hobj
val compare : 'a hobj -> 'a hobj -> intmodule type Table =sig..end
module MakeTable:
module H:sig..end