package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val bool : bool -> string
val elem : Ldd_B_u_nucx_types.elem -> string
val sigma_su : (unit, unit) GuaCaml.AB.ab -> string
val sigma_sx : (unit, unit) GuaCaml.AB.ab -> string
val sigma_sux : (unit, (unit, unit) GuaCaml.AB.ab) GuaCaml.AB.ab -> string
val sigma_sc : (unit, bool) GuaCaml.AB.ab -> string
val sigma_suc : (unit, (unit, bool) GuaCaml.AB.ab) GuaCaml.AB.ab -> string
val sucx_tag : Ldd_B_u_nucx_types.sucx_tag -> string
val decomp : Ldd_B_u_nucx_types.decomp -> string
val block : Ldd_B_u_nucx_types.block -> string
val leaf : unit GuaCaml.STools.ToS.t
val edge : Ldd_B_u_nucx_types.block -> string
val node : unit GuaCaml.STools.ToS.t
val next' : 'a GuaCaml.STools.ToS.t -> (unit, 'a) GuaCaml.Tree.gnext -> string
val peval : bool option list GuaCaml.STools.ToS.t
val opeval : bool option list option GuaCaml.STools.ToS.t
val pnext : 'a GuaCaml.STools.ToS.t -> (unit, bool option list option * 'a) GuaCaml.Tree.gnext -> string
val pedge : 'a GuaCaml.STools.ToS.t -> (Ldd_B_u_nucx_types.block * (unit, bool option list option * 'a) GuaCaml.Tree.gnext) -> string
val pnode : 'a GuaCaml.STools.ToS.t -> (unit * (Ldd_B_u_nucx_types.block * (unit, bool option list option * 'a) GuaCaml.Tree.gnext) * (Ldd_B_u_nucx_types.block * (unit, bool option list option * 'a) GuaCaml.Tree.gnext)) -> string
val pmerge : 'a GuaCaml.STools.ToS.t -> ((unit, bool option list option * 'a) GuaCaml.Tree.gnext, unit * (Ldd_B_u_nucx_types.block * (unit, bool option list option * 'a) GuaCaml.Tree.gnext) * (Ldd_B_u_nucx_types.block * (unit, bool option list option * 'a) GuaCaml.Tree.gnext)) GuaCaml.Utils.merge -> string
val pemerge : 'a GuaCaml.STools.ToS.t -> (Ldd_B_u_nucx_types.block * ((unit, bool option list option * 'a) GuaCaml.Tree.gnext, unit * (Ldd_B_u_nucx_types.block * (unit, bool option list option * 'a) GuaCaml.Tree.gnext) * (Ldd_B_u_nucx_types.block * (unit, bool option list option * 'a) GuaCaml.Tree.gnext)) GuaCaml.Utils.merge) -> string
val pmerge3 : 'a GuaCaml.STools.ToS.t -> ((unit, bool option list option * 'a) GuaCaml.Tree.gnext, unit * (Ldd_B_u_nucx_types.block * (unit, bool option list option * 'a) GuaCaml.Tree.gnext) * (Ldd_B_u_nucx_types.block * (unit, bool option list option * 'a) GuaCaml.Tree.gnext), unit * (Ldd_B_u_nucx_types.block * (unit, bool option list option * 'a) GuaCaml.Tree.gnext) * (Ldd_B_u_nucx_types.block * (unit, bool option list option * 'a) GuaCaml.Tree.gnext)) GuaCaml.Utils.merge3 -> string
val pemerge3 : 'a GuaCaml.STools.ToS.t -> (Ldd_B_u_nucx_types.block * ((unit, bool option list option * 'a) GuaCaml.Tree.gnext, unit * (Ldd_B_u_nucx_types.block * (unit, bool option list option * 'a) GuaCaml.Tree.gnext) * (Ldd_B_u_nucx_types.block * (unit, bool option list option * 'a) GuaCaml.Tree.gnext), unit * (Ldd_B_u_nucx_types.block * (unit, bool option list option * 'a) GuaCaml.Tree.gnext) * (Ldd_B_u_nucx_types.block * (unit, bool option list option * 'a) GuaCaml.Tree.gnext)) GuaCaml.Utils.merge3) -> string