package DAGaml

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