package hashcons

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

Module Hashcons.MakeSource

Parameters

module H : HashedType

Signature

Sourcetype key = H.t
Sourcetype t
Sourceval create : int -> t
Sourceval clear : t -> unit
Sourceval hashcons : t -> key -> key hash_consed
Sourceval iter : (key hash_consed -> unit) -> t -> unit
Sourceval stats : t -> int * int * int * int * int * int