Module type LogtkHashcons.S

module type S = sig .. end

type elt 
LogtkHashconsed objects
module H: Weak.S  with type data = elt
type t 
LogtkHashconsing table
val default : t
default hashconsing table
val weak_of : t -> H.t
Get the underlying weak table
val hashcons : ?table:t -> elt -> elt
LogtkHashcons the elements
val mem : ?table:t -> elt -> bool
Is the element present in this table?
val fresh_unique_id : ?table:t -> unit -> int
Unique ID that will never occur again in this table (modulo 2^63...)
val stats : ?table:t -> unit -> int * int * int * int * int * int