package GuaCaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val ab : 'a BTools.ToB.t -> 'b BTools.ToB.t -> ('a, 'b) ab -> BTools.ToB.stream -> BTools.ToB.stream
val sized_abl : 'a list BTools.ToB.t -> 'b list BTools.ToB.t -> ('a, 'b) ab list -> BTools.ToB.stream -> BTools.ToB.stream
val sized_abl_unitA : 'b list BTools.ToB.t -> (unit, 'b) ab list -> BTools.ToB.stream -> BTools.ToB.stream
val sized_abl_unitAB : (unit, unit) ab list -> BTools.ToB.stream -> BTools.ToB.stream
val abl : 'a list BTools.ToB.t -> 'b list BTools.ToB.t -> ('a, 'b) ab list -> BTools.ToB.stream -> BTools.ToB.stream