Functor LogtkHashcons.Make

module Make (X : HashedLogtkType) : S  with type elt = X.t
Parameters:
X : HashedLogtkType

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