Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package safa
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val create : int -> 'a tval clear : 'a t -> unitval hashcons :
('a -> int) ->
('a -> 'a -> bool) ->
'a t ->
'a ->
'a hash_consedval iter : ('a hash_consed -> unit) -> 'a t -> unitval stats : 'a t -> int * int * int * int * int * intval int : int -> int hash_consed