package safa

  1. Overview
  2. Docs
type !+'a hash_consed = private {
  1. hkey : int;
  2. tag : int;
  3. node : 'a;
}
type 'a t
val create : int -> 'a t
val clear : 'a t -> unit
val hashcons : ('a -> int) -> ('a -> 'a -> bool) -> 'a t -> 'a -> 'a hash_consed
val iter : ('a hash_consed -> unit) -> 'a t -> unit
val stats : 'a t -> int * int * int * int * int * int
val int : int -> int hash_consed