package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type stream = BinUtils.stream
type !'a t = 'a BinUtils.dump
val unit : unit BinUtils.dump
val map : ('a -> 'b) -> ('b -> 'c -> 'd) -> 'a -> 'c -> 'd
val c2 : ('a -> 'b -> bool list) -> ('c -> 'b -> bool list) -> ('a, 'c) Poly.c2 -> 'b -> bool list
val c3 : ('a -> 'b -> bool list) -> ('c -> 'b -> bool list) -> ('d -> 'b -> bool list) -> ('a, 'c, 'd) Poly.c3 -> 'b -> bool list
val c4 : ('a -> 'b -> bool list) -> ('c -> 'b -> bool list) -> ('d -> 'b -> bool list) -> ('e -> 'b -> bool list) -> ('a, 'c, 'd, 'e) Poly.c4 -> 'b -> bool list
val option : ('a -> bool list -> bool list) -> 'a option -> bool list -> bool list
val bool : 'a -> 'a list -> 'a list
val sized_bool_list : 'a list -> 'a list -> 'a list
val sized_unit_list : 'a -> 'b -> 'b
val sized_barray : BTools_BArray.t -> bool list -> bool list
val sized_list : ('a -> 'b -> 'b) -> 'a list -> 'b -> 'b
val none_list : ('a option -> 'b -> 'b) -> 'a list -> 'b -> 'b
val unary : int -> bool list -> bool list
val int_legacy : int -> bool list -> bool list
val int_vanilla_rec : int -> bool list -> bool list
val int_vanilla : int -> bool list -> bool list
val int : int -> bool list -> bool list
val unary_le : int -> int -> bool list -> bool list
val swrap : string -> ('a -> string) -> ('a -> 'a -> bool list -> bool list) -> 'a -> 'a -> bool list -> bool list
val sized_bool_list_le : bool list -> bool list -> bool list -> bool list
val exactly_sized_int_rec : int -> int -> bool list -> bool list
val exactly_sized_int : int -> int -> bool list -> bool list
val sized_int_smart : int -> int -> stream -> stream
val sized_int_le_smart : int -> int -> int -> stream -> stream
val int_le : int -> int -> stream -> stream
val int' : int -> int -> int -> stream -> stream
val signed_int : int -> stream -> stream
val barray : BTools_BArray.t -> bool list -> bool list
val sized_int : int -> int -> bool list -> bool list
val pair : ('a -> 'b -> 'c) -> ('d -> 'e -> 'b) -> ('a * 'd) -> 'e -> 'c
val (*) : ('a -> 'b -> 'c) -> ('d -> 'e -> 'b) -> ('a * 'd) -> 'e -> 'c
val trio : ('a -> 'b -> 'c) -> ('d -> 'e -> 'b) -> ('f -> 'g -> 'e) -> ('a * 'd * 'f) -> 'g -> 'c
val quad : ('a -> 'b -> 'c) -> ('d -> 'e -> 'b) -> ('f -> 'g -> 'e) -> ('h -> 'i -> 'g) -> ('a * 'd * 'f * 'h) -> 'i -> 'c
val closure : ('a -> 'b list -> bool list) -> 'a -> BTools_BArray.t
val list : ('a -> bool list -> bool list) -> 'a list -> bool list -> bool list
val array : ('a -> bool list -> bool list) -> 'a array -> bool list -> bool list
val bool_option_list : bool option list -> bool list -> bool list
val o3 : ('a * 'b) -> 'a
val sum_list_rec : ?min:int -> int -> int -> int list -> stream -> stream
val sum_list : ?min:int -> int -> int list -> stream -> stream