package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val wrap : string -> ('a -> string) -> (bool list -> 'a * bool list) -> bool list -> 'a * bool list
val swrap : string -> ('a -> string) -> ('b -> bool list -> ('a * 'c) * bool list) -> 'b -> bool list -> ('a * 'c) * bool list
val elem : bool list -> Ldd_B_u_nucx_types.elem * bool list
val sigma_su : bool list -> (unit, unit) GuaCaml.AB.ab * GuaCaml.BTools.OfB.stream
val sigma_sx : bool list -> (unit, unit) GuaCaml.AB.ab * GuaCaml.BTools.OfB.stream
val sigma_sux : bool list -> (unit, (unit, unit) GuaCaml.AB.ab) GuaCaml.AB.ab * GuaCaml.BTools.OfB.stream
val sigma_sc : bool list -> (unit, bool) GuaCaml.AB.ab * GuaCaml.BTools.OfB.stream
val sigma_suc : bool list -> (unit, (unit, bool) GuaCaml.AB.ab) GuaCaml.AB.ab * GuaCaml.BTools.OfB.stream
val sized_abl_unit_unit : int -> GuaCaml.BTools.OfB.stream -> (unit, unit) GuaCaml.AB.ab list * GuaCaml.BTools.OfB.stream
val sized_abl_unit_bool : int -> GuaCaml.BTools.OfB.stream -> (unit, bool) GuaCaml.AB.ab list * GuaCaml.BTools.OfB.stream
val sized_rowU : int -> GuaCaml.BTools.OfB.stream -> ((unit, unit) GuaCaml.AB.ab list * int) * GuaCaml.BTools.OfB.stream
val sized_rowX : int -> GuaCaml.BTools.OfB.stream -> ((unit, unit) GuaCaml.AB.ab list * int) * GuaCaml.BTools.OfB.stream
val sized_rowUX : int -> GuaCaml.BTools.OfB.stream -> ((unit, (unit, unit) GuaCaml.AB.ab) GuaCaml.AB.ab list * int) * GuaCaml.BTools.OfB.stream
val sized_rowC : int -> GuaCaml.BTools.OfB.stream -> ((unit, bool) GuaCaml.AB.ab list * int) * GuaCaml.BTools.OfB.stream
val sized_rowUC : int -> GuaCaml.BTools.OfB.stream -> ((unit, (unit, bool) GuaCaml.AB.ab) GuaCaml.AB.ab list * int) * GuaCaml.BTools.OfB.stream
val sized_rowCX : int -> bool list -> (((unit, unit) GuaCaml.AB.ab list, bool * (unit, bool) GuaCaml.AB.ab list) GuaCaml.AB.ab * int) * GuaCaml.BTools.OfB.stream
val sized_matCX : int -> GuaCaml.BTools.OfB.stream -> (((unit, unit) GuaCaml.AB.ab list, bool * (unit, bool) GuaCaml.AB.ab list) GuaCaml.AB.ab list * int) * GuaCaml.BTools.OfB.stream
val sized_matUCX : int -> GuaCaml.BTools.OfB.stream -> (((unit, unit) GuaCaml.AB.ab list * ((unit, unit) GuaCaml.AB.ab list, bool * (unit, bool) GuaCaml.AB.ab list) GuaCaml.AB.ab list) * int) * GuaCaml.BTools.OfB.stream
val sized_decomp : int -> bool list -> (Ldd_B_u_nucx_types.decomp * int option) * GuaCaml.BTools.OfB.stream
val leaf : unit GuaCaml.BTools.OfB.t
val node : unit GuaCaml.BTools.OfB.t