package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val compose_rowU_matUCX : (unit, 'a) GuaCaml.AB.abl -> ((unit, 'a) GuaCaml.AB.abl * 'b) -> (unit, 'a) GuaCaml.AB.abl * 'b
val compose_matUCX_matUCX : ((unit, unit) GuaCaml.AB.abl * Ldd_B_u_nucx_types.rowCX list) -> Ldd_B_u_nucx_types.matUCX -> Ldd_B_u_nucx_types.matUCX
val compose_rowU_bmatUCX : (unit, 'a) GuaCaml.AB.abl -> ('b * ((unit, 'a) GuaCaml.AB.abl * 'c)) -> 'b * ((unit, 'a) GuaCaml.AB.abl * 'c)
val compose_matUCX_bmatUCX : ((unit, unit) GuaCaml.AB.abl * Ldd_B_u_nucx_types.rowCX list) -> (bool * Ldd_B_u_nucx_types.matUCX) -> Ldd_B_u_nucx_types.bmatUCX
val compose_bmatUCX_bmatUCX : (bool * ((unit, unit) GuaCaml.AB.abl * Ldd_B_u_nucx_types.rowCX list)) -> (bool * Ldd_B_u_nucx_types.matUCX) -> Ldd_B_u_nucx_types.bmatUCX
val compose_rowCX_with_C0 : Ldd_B_u_nucx_types.rowCX -> bool -> bool * Ldd_B_u_nucx_types.decomp
val compose_rowCX_with_Id : Ldd_B_u_nucx_types.rowCX -> bool -> int -> bool * Ldd_B_u_nucx_types.decomp
val compose_rowCX_bdecomp : Ldd_B_u_nucx_types.rowCX -> (bool * Ldd_B_u_nucx_types.decomp) -> bool * Ldd_B_u_nucx_types.decomp
val compose_matCX_bdecomp : Ldd_B_u_nucx_types.rowCX list -> (bool * Ldd_B_u_nucx_types.decomp) -> bool * Ldd_B_u_nucx_types.decomp
val findnth : int -> ('a -> bool) -> 'a list -> int option
val compose_rowU_bdecomp : (unit, unit) GuaCaml.AB.abl -> (bool * Ldd_B_u_nucx_types.decomp) -> bool * Ldd_B_u_nucx_types.decomp
val compose_matUCX_bdecomp : ((unit, unit) GuaCaml.AB.abl * Ldd_B_u_nucx_types.rowCX list) -> (bool * Ldd_B_u_nucx_types.decomp) -> bool * Ldd_B_u_nucx_types.decomp
val compose_bmatUCX_bdecomp : (bool * ((unit, unit) GuaCaml.AB.abl * Ldd_B_u_nucx_types.rowCX list)) -> (bool * Ldd_B_u_nucx_types.decomp) -> bool * Ldd_B_u_nucx_types.decomp
val compose_bdecomp_bdecomp : (bool * Ldd_B_u_nucx_types.decomp) -> (bool * Ldd_B_u_nucx_types.decomp) -> bool * Ldd_B_u_nucx_types.decomp
val normalize_edge : (Ldd_B_u_nucx_types.block * 'a) -> Ldd_B_u_nucx_types.block * 'a
val compose_matUCX_block : ((unit, unit) GuaCaml.AB.abl * Ldd_B_u_nucx_types.rowCX list) -> Ldd_B_u_nucx_types.block -> Ldd_B_u_nucx_types.block
val normalize_ninput : ?neg:bool -> int option -> Ldd_B_u_nucx_types.block
val normalize_matCX : Ldd_B_u_nucx_types.rowCX list -> int option -> Ldd_B_u_nucx_types.block
val normalize_matUCX : ((unit, unit) GuaCaml.AB.abl * Ldd_B_u_nucx_types.rowCX list) -> int option -> Ldd_B_u_nucx_types.block
val normalize_rowU : (unit, unit) GuaCaml.AB.abl -> int option -> Ldd_B_u_nucx_types.block
val compose_bmatUCX_block : (bool * ((unit, unit) GuaCaml.AB.abl * Ldd_B_u_nucx_types.rowCX list)) -> Ldd_B_u_nucx_types.block -> Ldd_B_u_nucx_types.block
val compose_matCX_edge : Ldd_B_u_nucx_types.rowCX list -> (Ldd_B_u_nucx_types.block * 'a) -> Ldd_B_u_nucx_types.block * 'a
val compose_matUCX_edge : ((unit, unit) GuaCaml.AB.abl * Ldd_B_u_nucx_types.rowCX list) -> (Ldd_B_u_nucx_types.block * 'a) -> Ldd_B_u_nucx_types.block * 'a
val compose_bmatUCX_edge : (bool * ((unit, unit) GuaCaml.AB.abl * Ldd_B_u_nucx_types.rowCX list)) -> (Ldd_B_u_nucx_types.block * 'a) -> Ldd_B_u_nucx_types.block * 'a
val compose_rowU_block : (unit, unit) GuaCaml.AB.abl -> Ldd_B_u_nucx_types.block -> Ldd_B_u_nucx_types.block
val compose_rowU_edge : (unit, unit) GuaCaml.AB.abl -> (Ldd_B_u_nucx_types.block * 'a) -> Ldd_B_u_nucx_types.block * 'a
val compose_rowU_merge3 : (unit, unit) GuaCaml.AB.abl -> (Ldd_B_u_nucx_types.block * 'a) -> Ldd_B_u_nucx_types.block * 'a
val compose_rowU_merge : (unit, unit) GuaCaml.AB.abl -> (Ldd_B_u_nucx_types.block * 'a) -> Ldd_B_u_nucx_types.block * 'a
val type_rowCX_of_matCX : ('a, 'b * 'c) GuaCaml.AB.ab list -> (unit, unit) GuaCaml.AB.ab option