package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type next'' = (unit -> Model.xnode) Model.M.M.next'
type edge'' = (unit -> Model.xnode) Model.M.M.edge'
type node'' = (unit -> Model.xnode) Model.M.M.node'
val get_extra : manager -> Model.extra
val dump_stats : manager -> GuaCaml.Tree.stree
val makeman : Model.M.manager -> Model.extra -> int -> manager
val rec_edge : manager -> Model.M.edge' -> Model.xedge
val rec_node : manager -> Model.M.ident -> Model.xnode