package DAGaml

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

Parameters

Signature

type manager = {
  1. man : M.M.manager;
  2. extra : M.extra;
  3. mem : (M.M.G.edge', M.xedge) GuaCaml.MemoTable.t;
  4. map_edge : M.M.G.edge' -> M.xedge;
}
val dump_stats : manager -> GuaCaml.Tree.stree
val makeman : M.M.manager -> M.extra -> int -> manager
val newman : M.M.manager -> M.extra -> manager
val map_edge : manager -> M.M.G.edge' -> M.xedge