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