Up  

Functor Hashcons.Make


module Make: functor (H : HashedType) -> sig  end
Parameters:
H : Hashcons.HashedType

type key = H.t

type hashtbl = key Hashcons.t

type t = hashtbl 
val create : int -> 'a t
val clear : 'a t -> unit
val add : 'a t -> int -> 'a Hashcons.hashed -> unit
Parameters:
h : 'a t
hkey : int
info : 'a Hashcons.hashed
 
val find : H.t t -> H.t -> int -> H.t Hashcons.hashed
Parameters:
h : H.t t
key : H.t
hkey : int
 
val hashcons : H.t t -> H.t -> H.t Hashcons.hashed
Parameters:
h : H.t t
node : H.t
 
val mem : H.t t -> H.t -> bool
Parameters:
h : H.t t
node : H.t
 
val iter : ('a Hashcons.hashed -> 'b) -> 'a t -> unit
val stat : 'a t -> unit