package logtk

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

Module Hashcons.MakeSource

Parameters

module X : HashedType

Signature

Sourcetype elt = X.t

Hashconsed objects

Sourceval hashcons : elt -> elt

Hashcons the elements

Sourceval mem : elt -> bool

Is the element present in this table?

Sourceval fresh_unique_id : unit -> int

Unique ID that will never occur again in this table (modulo 2^63...)

Sourceval stats : unit -> int * int * int * int * int * int