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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct