package core-and-more

  1. Overview
  2. Docs
package core-and-more
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module CoreAndMore.HashConsTableSource

Sourceval gentag : unit -> int
Sourcetype 'a t = {
  1. mutable table : 'a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed Weak.t array;
  2. mutable totsize : int;
  3. mutable limit : int;
}
Sourceval create : int -> 'a t
Sourceval clear : 'a t -> unit
Sourceval fold : ('a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed -> 'b -> 'b) -> 'a t -> 'b -> 'b
Sourceval iter : ('a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed -> 'b) -> 'a t -> unit
Sourceval count : 'a t -> int
Sourceval next_sz : int -> int
Sourceval resize : 'a t -> unit
Sourceval add : 'a t -> 'a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed -> unit
Sourceval hashcons : ('a -> int) -> ('a -> 'a -> int) -> 'a t -> 'a -> 'a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed
Sourceval stats : 'a t -> int * int * int * int * int * int