package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module M = M.M
type extra = Udag.String.manager
type xnode = Udag.String.ident
type xedge = Udag.String.edge_t
type next' = (unit -> xnode) M.M.next'
type edge' = (unit -> xnode) M.M.edge'
type node' = (unit -> xnode) M.M.node'
val rec_next : (Model.M.M.leaf, unit -> 'a) GuaCaml.Tree.gnext -> (string, 'a) GuaCaml.Tree.gnext
val rec_edge : bool option -> (Model.M.M.edge * (Model.M.M.leaf, unit -> 'a) GuaCaml.Tree.gnext) -> string * (string, 'a) GuaCaml.Tree.gnext
val rec_node : (Model.M.M.node * (Model.M.M.edge * (Model.M.M.leaf, unit -> 'a) GuaCaml.Tree.gnext) * (Model.M.M.edge * (Model.M.M.leaf, unit -> 'a) GuaCaml.Tree.gnext)) -> ('b option * string) * (string * (string, 'a) GuaCaml.Tree.gnext) list
val map_edge : 'a -> (Model.M.M.edge * (Model.M.M.leaf, unit -> 'b) GuaCaml.Tree.gnext) -> string * (string, 'b) GuaCaml.Tree.gnext