bionic (3) Ephemeron.S.3o.gz

NAME

       Ephemeron.S - The output signature of the functor Ephemeron.K1.Make and Ephemeron.K2.Make.

Module type

       Module type   Ephemeron.S

Documentation

       Module type S
        = sig end

       The output signature of the functor Ephemeron.K1.Make and Ephemeron.K2.Make .  These hash tables are weak
       in the keys. If all the keys of a binding are alive the binding is kept, but if one of the  keys  of  the
       binding is dead then the binding is removed.

       ===  Propose the same interface as usual hash table. However since the bindings are weak, even if mem h k
       is true, a subsequent find h k may raise Not_found because the garbage collector can run between the two.
       Moreover,  the  table  shouldn't be modified during a call to iter.  Use filter_map_inplace in this case.
       ===

       include Hashtbl.S

       val clean : 'a t -> unit

       remove all dead bindings. Done automatically during automatic resizing.

       val stats_alive : 'a t -> Hashtbl.statistics

       same as Hashtbl.SeededS.stats but only count the alive bindings