package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val arity : (Ldd_B_u_nucx_types.block * 'a) -> int
val arity_node : (unit * (Ldd_B_u_nucx_types.block * 'a) * (Ldd_B_u_nucx_types.block * 'b)) -> int
val is_cst : (Ldd_B_u_nucx_types.block * 'a) -> bool option
val cst : bool -> int -> 'a Ldd_B_u_nucx_types.edge'
val get_cst : bool -> (Ldd_B_u_nucx_types.block * 'a) -> 'b Ldd_B_u_nucx_types.edge'
val var : bool -> int -> int -> Ldd_B_u_nucx_types.block * (unit, 'a) GuaCaml.Tree.gnext
val compose_rowU : (unit, unit) GuaCaml.AB.abl -> (Ldd_B_u_nucx_types.block * 'a) -> Ldd_B_u_nucx_types.block * 'a
val support_of_edge : 'a Ldd_B_u_nucx_types.edge' -> bool list
val id_block : ?neg:bool -> int -> Ldd_B_u_nucx_types.block
val id_edge : ?neg:bool -> int -> 'a -> Ldd_B_u_nucx_types.block * 'a
val block_of_matCX : ?neg:bool -> int -> Ldd_B_u_nucx_types.matCX -> int option -> Ldd_B_u_nucx_types.block
val edge_of_matCX : ?neg:bool -> int -> Ldd_B_u_nucx_types.matCX -> int option -> 'a -> Ldd_B_u_nucx_types.block * 'a
val rowU_of_mask : bool list -> (unit, unit) GuaCaml.AB.ab list
val compose_mask : bool list -> (Ldd_B_u_nucx_types.block * 'a) -> Ldd_B_u_nucx_types.block * 'a
val pnode_of_node : (unit, 'a) GuaCaml.Tree.gnext -> (unit, 'b option * 'a) GuaCaml.Tree.gnext
val pedge_of_edge : ('a * (unit, 'b) GuaCaml.Tree.gnext) -> 'a * (unit, 'c option * 'b) GuaCaml.Tree.gnext
val opquant_of_quant : bool list -> bool list option
val compose_quant : bool list -> bool list -> bool list
val compose_opquant : bool list option -> bool list option -> bool list option
val compose_qnext : bool list -> (unit, bool list option * 'a) GuaCaml.Tree.gnext -> (unit, bool list option * 'a) GuaCaml.Tree.gnext