package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

Signature

type elt = X.t

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