module Hashcons: BatHashcons
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