package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val default_size : int
type (!'p, !'b, !'s) t = {
  1. table : ('p, ('b * 's, 'b) Stdlib.result) Stdlib.Hashtbl.t;
  2. bound_compare : 'b -> 'b -> int;
  3. mutable hitCnt : int;
  4. mutable clcCnt : int;
}
val create : ('a -> 'a -> int) -> int -> ('b, 'a, 'c) t
val replace : ('a, 'b, 'c) t -> 'a -> ('b * 'c, 'b) Stdlib.result -> ('b * 'c) option
val apply : ('p, 'b, 's) t -> ('b -> 'p -> ('b * 's) option) -> 'b -> 'p -> ('b * 's) option
val print_stats : ('a, 'b, 'c) t -> unit
module STD = STools.ToSTree
val dump_stats : ('a, 'b, 'c) t -> string Tree.tree
val make : ('a -> 'a -> int) -> int -> ('b, 'a, 'c) t * (('a -> 'b -> ('a * 'c) option) -> 'a -> 'b -> ('a * 'c) option)
module BNat = BTools.BArray.Nat
val bnat_propa : (BTools.BArray.t -> 'a -> 'b -> (BTools.BArray.t * 'c) option) -> BTools.BArray.t -> 'a -> ?best:(BTools.BArray.t * 'c) option -> 'b list -> (BTools.BArray.t * 'c) option