GuaCaml

GuaCaml : Generic Unspecific Algorithmic in OCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library GuaCaml
Module GuaCaml . BTools_OfB
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