package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val wrap : string -> ('a -> string) -> ('a -> bool list -> bool list) -> 'a -> bool list -> bool list
val elem : Ldd_B_u_nucx_types.elem -> bool list -> bool list
val sigma_su : (unit, unit) GuaCaml.AB.ab GuaCaml.BTools.ToB.t
val sized_abl_unit_unit : (unit, unit) GuaCaml.AB.ab list -> GuaCaml.BTools.ToB.stream -> GuaCaml.BTools.ToB.stream
val sized_abl_unit_bool : (unit, bool) GuaCaml.AB.ab list -> GuaCaml.BTools.ToB.stream -> GuaCaml.BTools.ToB.stream
val sized_bmatUCX : (bool * Ldd_B_u_nucx_types.matUCX) GuaCaml.BTools.ToB.t
val sized_decomp : Ldd_B_u_nucx_types.decomp -> GuaCaml.BTools.ToB.stream -> bool list
val leaf : unit GuaCaml.BTools.ToB.t
val node : unit GuaCaml.BTools.ToB.t