package DAGaml

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