Docs GODI Archive
Projects Blog Link DB

Search GODI:


More options
File lib/ocaml/pkg-lib/hweak/hweak.cmi_pretty GODI Package godi-hweak
Library hweak
 
   hweak.cmi_pretty    hweak.mli    Sources  
module type S =
  sig
    type key
    type 'a t
    val create : int -> 'a t
    val clear : 'a t -> unit
    val add : 'a t -> key -> 'a -> unit
    val replace : 'a t -> key -> 'a -> unit
    val remove : 'a t -> key -> unit
    val merge : 'a t -> key -> 'a -> 'a
    val find : 'a t -> key -> 'a
    val find_all : 'a t -> key -> 'a list
    val mem : 'a t -> key -> bool
    val iter : (key -> 'a -> unit) -> 'a t -> unit
    val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
    val count : 'a t -> int
    val stats : 'a t -> int * int * int * int * int * int
  end
module Make :
  functor (H : Hashtbl.HashedType) ->
    sig
      type key = H.t
      type 'a t = 'a Hweak.Make(H).t
      val create : int -> 'a t
      val clear : 'a t -> unit
      val add : 'a t -> key -> 'a -> unit
      val replace : 'a t -> key -> 'a -> unit
      val remove : 'a t -> key -> unit
      val merge : 'a t -> key -> 'a -> 'a
      val find : 'a t -> key -> 'a
      val find_all : 'a t -> key -> 'a list
      val mem : 'a t -> key -> bool
      val iter : (key -> 'a -> unit) -> 'a t -> unit
      val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
      val count : 'a t -> int
      val stats : 'a t -> int * int * int * int * int * int
    end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml