package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module M = G0
type extra = G0.manager * bool option array
type xnode = G0.edge'
type xedge = G0.edge'
val rec_edge : bool option array -> (bool * (int option, unit -> bool * (int option, 'a) GuaCaml.Tree.gnext) GuaCaml.Tree.gnext) -> bool * (int option, 'a) GuaCaml.Tree.gnext
val ifdo_eval_shannon : ('a * M.M.edge option array) -> (unit -> xnode) M.M.node' -> (M.M.edge * G0.ident G0.M.next') option
val map_node : (G1.G.manager * M.M.edge option array) -> (unit -> xnode) M.M.node' -> M.M.edge * G0.ident G0.M.next'
val map_edge : ('a * bool option array) -> (bool * (int option, unit -> bool * (int option, 'b) GuaCaml.Tree.gnext) GuaCaml.Tree.gnext) -> bool * (int option, 'b) GuaCaml.Tree.gnext