package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Model : Sig

Signature

module G : sig ... end
module MSig : sig ... end
type next'' = (unit -> MSig.xnode) MSig.M.M.next'
type edge'' = (unit -> MSig.xnode) MSig.M.M.edge'
type node'' = (unit -> MSig.xnode) MSig.M.M.node'
val dump_stats : manager -> string GuaCaml.Tree.tree
val makeman : MSig.M.manager -> MSig.extra -> int -> manager
val newman : MSig.M.manager -> MSig.extra -> manager
val rec_edge : manager -> MSig.M.edge' -> MSig.xedge
val rec_node : manager -> MSig.M.ident -> MSig.xnode