package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val facto_B : (unit, 'a) Ldd_B_u_nucx_types.row -> (unit, 'a) Ldd_B_u_nucx_types.row -> (unit, 'a) Ldd_B_u_nucx_types.row * ((unit, 'a) Ldd_B_u_nucx_types.row * (unit, 'a) Ldd_B_u_nucx_types.row)
val genU : int -> int -> Ldd_B_u_nucx_types.rowU
val genX : int -> int -> Ldd_B_u_nucx_types.rowX
val genC : bool -> int -> int -> Ldd_B_u_nucx_types.rowC
val rowCX_genX : int -> int -> Ldd_B_u_nucx_types.rowCX
val rowCX_genC : bool -> bool -> int -> int -> Ldd_B_u_nucx_types.rowCX
val bmatUCX_genX : int -> int -> (bool * Ldd_B_u_nucx_types.matUCX) -> Ldd_B_u_nucx_types.bmatUCX
val bmatUCX_genC : bool -> bool -> int -> int -> (bool * Ldd_B_u_nucx_types.matUCX) -> Ldd_B_u_nucx_types.bmatUCX
val picknth : 'a list -> int -> ('a * 'a list) option
val unify_Id_rowCX : bool -> bool -> int -> int -> bool -> Ldd_B_u_nucx_types.rowCX -> Ldd_B_u_nucx_types.bmatUCX option
val facto_Id_matUCX_no_unify : bool -> bool -> int -> int -> bool -> (Ldd_B_u_nucx_types.rowU * Ldd_B_u_nucx_types.matCX) -> int -> int option -> (unit, 'a) GuaCaml.Tree.gnext -> Ldd_B_u_nucx_types.block * ('b, unit * (Ldd_B_u_nucx_types.block * (unit, 'a) GuaCaml.Tree.gnext) * (Ldd_B_u_nucx_types.block * (unit, 'a) GuaCaml.Tree.gnext)) GuaCaml.Utils.merge
val facto_Id_matUCX : bool -> bool -> int -> int -> bool -> (Ldd_B_u_nucx_types.rowU * Ldd_B_u_nucx_types.matCX) -> int -> int option -> (unit, 'a) GuaCaml.Tree.gnext -> Ldd_B_u_nucx_types.block * ((unit, 'a) GuaCaml.Tree.gnext, unit * (Ldd_B_u_nucx_types.block * (unit, 'a) GuaCaml.Tree.gnext) * (Ldd_B_u_nucx_types.block * (unit, 'a) GuaCaml.Tree.gnext)) GuaCaml.Utils.merge
val block_genX : int -> int -> Ldd_B_u_nucx_types.block -> Ldd_B_u_nucx_types.block
val block_genC : bool -> bool -> int -> int -> Ldd_B_u_nucx_types.block -> Ldd_B_u_nucx_types.block
val block_genU : int -> int -> Ldd_B_u_nucx_types.block -> Ldd_B_u_nucx_types.block
val solve_cons_id_id : int -> bool -> int -> bool -> int -> Ldd_B_u_nucx_types.block * ('a, unit * (Ldd_B_u_nucx_types.block * (unit, 'b) GuaCaml.Tree.gnext) * (Ldd_B_u_nucx_types.block * (unit, 'c) GuaCaml.Tree.gnext)) GuaCaml.Utils.merge