package GuaCaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type !'a o3b = ('a, BTools_BArray.t) O3.o3
type !'a o3s = ('a, BinUtils.stream) O3.o3s
val unit : unit BinUtils.dump * unit BinUtils.load
val option : (('a -> bool list -> bool list) * (bool list -> 'b * bool list)) -> ('a option -> bool list -> bool list) * (bool list -> 'b option * bool list)
val bool : ('a -> 'a list -> 'a list) * bool BinUtils.load
val barray : (BTools_BArray.t -> bool list -> bool list) * (BinUtils.stream -> BTools_BArray.t * bool list)
val list : (('a -> bool list -> bool list) * 'b BinUtils.load) -> ('a list -> bool list -> bool list) * 'b list BinUtils.load
val array : (('a -> bool list -> bool list) * 'b BinUtils.load) -> ('a array -> bool list -> bool list) * 'b array BinUtils.load
val none_list : (('a option -> 'b -> 'b) * ('c -> 'd option * 'c)) -> ('a list -> 'b -> 'b) * ('c -> 'd list * 'c)
val int : (int -> bool list -> bool list) * (BinUtils.stream -> int * bool list)
val sized_int : int -> (int -> bool list -> bool list) * int BinUtils.load
val closure : ('a, BinUtils.stream) O3.o3s -> ('a, BTools_BArray.t) O3.o3
val bool_option_list : (bool option list -> bool list -> bool list) * (bool list -> bool option list * bool list)
val pair : (('a -> 'b -> 'c) * 'd BinUtils.load) -> (('e -> 'f -> 'b) * 'g BinUtils.load) -> (('a * 'e) -> 'f -> 'c) * ('d * 'g) BinUtils.load
val (*) : (('a -> 'b -> 'c) * 'd BinUtils.load) -> (('e -> 'f -> 'b) * 'g BinUtils.load) -> (('a * 'e) -> 'f -> 'c) * ('d * 'g) BinUtils.load
val trio : (('a -> 'b -> 'c) * ('d -> 'e * 'f)) -> (('g -> 'h -> 'b) * ('f -> 'i * 'j)) -> (('k -> 'l -> 'h) * ('j -> 'm * 'n)) -> (('a * 'g * 'k) -> 'l -> 'c) * ('d -> ('e * 'i * 'm) * 'n)
val quad : (('a -> 'b -> 'c) * ('d -> 'e * 'f)) -> (('g -> 'h -> 'b) * ('f -> 'i * 'j)) -> (('k -> 'l -> 'h) * ('j -> 'm * 'n)) -> (('o -> 'p -> 'l) * ('n -> 'q * 'r)) -> (('a * 'g * 'k * 'o) -> 'p -> 'c) * ('d -> ('e * 'i * 'm * 'q) * 'r)
val c2 : (('a -> 'b -> bool list) * (bool list -> 'c * 'd)) -> (('e -> 'b -> bool list) * (bool list -> 'f * 'd)) -> (('a, 'e) Poly.c2 -> 'b -> bool list) * (bool list -> ('c, 'f) Poly.c2 * 'd)
val c3 : (('a -> 'b -> bool list) * (bool list -> 'c * 'd)) -> (('e -> 'b -> bool list) * (bool list -> 'f * 'd)) -> (('g -> 'b -> bool list) * (bool list -> 'h * 'd)) -> (('a, 'e, 'g) Poly.c3 -> 'b -> bool list) * (bool list -> ('c, 'f, 'h) Poly.c3 * 'd)
val c4 : (('a -> 'b -> bool list) * (bool list -> 'c * 'd)) -> (('e -> 'b -> bool list) * (bool list -> 'f * 'd)) -> (('g -> 'b -> bool list) * (bool list -> 'h * 'd)) -> (('i -> 'b -> bool list) * (bool list -> 'j * 'd)) -> (('a, 'e, 'g, 'i) Poly.c4 -> 'b -> bool list) * (bool list -> ('c, 'f, 'h, 'j) Poly.c4 * 'd)