package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val default_size : int
type (!'a, !'aa, !'b, !'bb) t = {
  1. o3sA : ('a, 'aa) O3.o3;
  2. o3sB : ('b, 'bb) O3.o3;
  3. mutable err : int -> 'a option -> 'aa option -> 'b option -> 'bb option -> unit;
  4. mutable each : 'a -> 'aa -> 'b -> 'bb -> unit;
  5. table : ('aa, 'bb) Stdlib.Hashtbl.t;
  6. hitCnt : int Stdlib.ref;
  7. clcCnt : int Stdlib.ref;
  8. __check_reverse__ : bool;
}
val clear : ('a, 'aa, 'b, 'bb) t -> unit
val reset : ('a, 'aa, 'b, 'bb) t -> unit
val create : ?__check_reverse__:bool -> ('a, 'b) O3.o3 -> ('c, 'd) O3.o3 -> int -> ('a, 'b, 'c, 'd) t
val test : ('a, 'b, 'c, 'd) t -> 'a -> bool
val push : ('a, 'a, 'b, 'c) t -> 'a -> 'b -> unit
val memo : ('a, 'a, 'b, 'c) t -> 'a -> 'b -> 'b
val pull : ('a, 'b, 'c, 'd) t -> 'a -> 'c
val nocheck_apply : ('a, 'b, 'c, 'd) t -> ('a -> 'c) -> 'a -> 'c
val apply : ('a, 'b, 'c, 'd) t -> ('a -> 'c) -> 'a -> 'c
val print_stats : ('a, 'b, 'c, 'd) t -> unit
val dump_stats : ('a, 'b, 'c, 'd) t -> string Tree.tree
val make : ?__check_reverse__:bool -> ('a, 'b) O3.o3 -> ('c, 'd) O3.o3 -> int -> ('a, 'b, 'c, 'd) t * (('a -> 'c) -> 'a -> 'c)
val nocheck_make : ('a, 'b) O3.o3 -> ('c, 'd) O3.o3 -> int -> ('a, 'b, 'c, 'd) t * (('a -> 'c) -> 'a -> 'c)