package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val ab : (bool list -> 'a * 'b) -> (bool list -> 'c * 'b) -> bool list -> ('a, 'c) ab * 'b
val sized_abl_countAB : int -> (int -> 'a list BTools.OfB.t) -> (int -> 'b list BTools.OfB.t) -> BTools.OfB.stream -> (('a, 'b) ab list * (int * int)) * BTools.OfB.stream
val sized_abl : int -> (int -> 'a list BTools.OfB.t) -> (int -> 'b list BTools.OfB.t) -> BTools.OfB.stream -> ('a, 'b) ab list * BTools.OfB.stream
val sized_abl_countA : int -> (int -> 'a list BTools.OfB.t) -> (int -> 'b list BTools.OfB.t) -> BTools.OfB.stream -> (('a, 'b) ab list * int) * BTools.OfB.stream
val sized_abl_countB : int -> (int -> 'a list BTools.OfB.t) -> (int -> 'b list BTools.OfB.t) -> BTools.OfB.stream -> (('a, 'b) ab list * int) * BTools.OfB.stream
val sized_abl_unitA_countAB : int -> (int -> 'b list BTools.OfB.t) -> BTools.OfB.stream -> ((unit, 'b) ab list * (int * int)) * BTools.OfB.stream
val sized_abl_unitA : int -> (int -> 'a list BTools.OfB.t) -> BTools.OfB.stream -> (unit, 'a) ab list * BTools.OfB.stream
val sized_abl_unitA_countA : int -> (int -> 'a list BTools.OfB.t) -> BTools.OfB.stream -> ((unit, 'a) ab list * int) * BTools.OfB.stream
val sized_abl_unitA_countB : int -> (int -> 'a list BTools.OfB.t) -> BTools.OfB.stream -> ((unit, 'a) ab list * int) * BTools.OfB.stream
val sized_abl_unitAB_countAB : int -> BTools.OfB.stream -> ((unit, unit) ab list * (int * int)) * BTools.OfB.stream
val sized_abl_unitAB : int -> BTools.OfB.stream -> (unit, unit) ab list * BTools.OfB.stream
val sized_abl_unitAB_countA : int -> BTools.OfB.stream -> ((unit, unit) ab list * int) * BTools.OfB.stream
val sized_abl_unitAB_countB : int -> BTools.OfB.stream -> ((unit, unit) ab list * int) * BTools.OfB.stream
val abl : (int -> 'a list BTools.OfB.t) -> (int -> 'b list BTools.OfB.t) -> BTools.OfB.stream -> ('a, 'b) ab list * BTools.OfB.stream