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.load
val unit : unit BinUtils.load
val sized_bool_list : int -> stream -> bool list * bool list
val sized_unit_list : int -> stream -> unit list * stream
val map : ('a -> 'b) -> ('c -> 'a * 'd) -> 'c -> 'b * 'd
val c2 : (bool list -> 'a * 'b) -> (bool list -> 'c * 'b) -> bool list -> ('a, 'c) Poly.c2 * 'b
val c3 : (bool list -> 'a * 'b) -> (bool list -> 'c * 'b) -> (bool list -> 'd * 'b) -> bool list -> ('a, 'c, 'd) Poly.c3 * 'b
val c4 : (bool list -> 'a * 'b) -> (bool list -> 'c * 'b) -> (bool list -> 'd * 'b) -> (bool list -> 'e * 'b) -> bool list -> ('a, 'c, 'd, 'e) Poly.c4 * 'b
val choice : (bool list -> 'a) -> (bool list -> 'a) -> bool list -> 'a
val option : (bool list -> 'a * bool list) -> bool list -> 'a option * bool list
val hdtl_nth : int -> 'a list -> 'a list * 'a list
val sized_barray : int -> bool list -> BTools_BArray.t * bool list
val none_list : ('a -> 'b option * 'a) -> 'a -> 'b list * 'a
val while_list : ('a -> ('b * 'c option) option * 'a) -> 'c -> 'a -> 'b list * 'a
val sized_list : 'a BinUtils.load -> int -> 'a list BinUtils.load
val bool : bool BinUtils.load
val unary : int BinUtils.load
val sized_int : int -> int BinUtils.load
val int_legacy : int BinUtils.load
val int_vanilla_rec : ?c:int -> bool list -> int * bool list
val int_vanilla : BinUtils.stream -> int * bool list
val int : BinUtils.stream -> int * bool list
val swrap : string -> ('a -> string) -> ('a -> bool list -> 'a * bool list) -> 'a -> bool list -> 'a * bool list
val unary_le : int -> bool list -> int * bool list
val sized_bool_list_le : ?carry:bool list -> bool list -> BinUtils.stream -> bool list * BinUtils.stream
val exactly_sized_int_rec : ?carry:int -> ?exp:int -> int -> BinUtils.stream -> int * BinUtils.stream
val exactly_sized_int : int -> BinUtils.stream -> int * BinUtils.stream
val sized_int_smart : ?c:int -> int -> stream -> int * stream
val sized_int_le_smart : ?c:int -> int -> int -> stream -> int * stream
val int_le : int -> BinUtils.stream -> int * BinUtils.stream
val int' : int -> int -> stream -> int * stream
val signed_int : stream -> int * stream
val barray : BinUtils.stream -> BTools_BArray.t * bool list
val pair : 'a BinUtils.load -> 'b BinUtils.load -> ('a * 'b) BinUtils.load
val (*) : 'a BinUtils.load -> 'b BinUtils.load -> ('a * 'b) BinUtils.load
val trio : ('a -> 'b * 'c) -> ('c -> 'd * 'e) -> ('e -> 'f * 'g) -> 'a -> ('b * 'd * 'f) * 'g
val quad : ('a -> 'b * 'c) -> ('c -> 'd * 'e) -> ('e -> 'f * 'g) -> ('g -> 'h * 'i) -> 'a -> ('b * 'd * 'f * 'h) * 'i
val closure : 'a BinUtils.load -> BTools_BArray.t -> 'a
val list : 'a BinUtils.load -> 'a list BinUtils.load
val array : 'a BinUtils.load -> 'a array BinUtils.load
val bool_option_list : bool list -> bool option list * bool list
val o3 : ('a * 'b) -> 'b
val sum_list_rec : ?carry:int list -> ?min:int -> int -> int -> stream -> int list * stream
val sum_list : ?min:int -> int -> stream -> int list * stream