package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module type Sig = sig ... end
module Module : Sig
type ('a, 'aa, 'b, 'bb) t = ('a, 'aa, 'b, 'bb) Module.t
val clear : ('a, 'b, 'c, 'd) t -> unit
val reset : ('a, 'b, 'c, 'd) t -> unit
val default_size : int
val create : ?__check_reverse__:bool -> ('a, 'aa) O3.o3 -> ('b, 'bb) O3.o3 -> int -> ('a, 'aa, 'b, 'bb) t
val set_err : ('a, 'aa, 'b, 'bb) t -> (int -> 'a option -> 'aa option -> 'b option -> 'bb option -> unit) -> unit
val add_err : ('a, 'aa, 'b, 'bb) t -> (int -> 'a option -> 'aa option -> 'b option -> 'bb option -> unit) -> unit
val test : ('a, 'aa, 'b, 'bb) t -> 'a -> bool
val push : ('a, 'aa, 'b, 'bb) t -> 'a -> 'b -> unit
val memo : ('a, 'aa, 'b, 'bb) t -> 'a -> 'b -> 'b
val pull : ('a, 'aa, 'b, 'bb) t -> 'a -> 'b
val apply : ('a, 'aa, 'b, 'bb) t -> ('a -> 'b) -> 'a -> 'b
val make : ?__check_reverse__:bool -> ('a, 'aa) O3.o3 -> ('b, 'bb) O3.o3 -> int -> ('a, 'aa, 'b, 'bb) t * (('a -> 'b) -> 'a -> 'b)
val nocheck_make : ('a, 'aa) O3.o3 -> ('b, 'bb) O3.o3 -> int -> ('a, 'aa, 'b, 'bb) t * (('a -> 'b) -> 'a -> 'b)
val print_stats : ('a, 'b, 'c, 'd) t -> unit
val dump_stats : ('a, 'b, 'c, 'd) t -> Tree.stree