package DAGaml

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

Parameters

module M : EXPORT_MSig

Signature

type next'' = (unit -> M.xnode) M.M.M.next'
type edge'' = (unit -> M.xnode) M.M.M.edge'
type node'' = (unit -> M.xnode) M.M.M.node'
type manager = {
  1. man : M.M.manager;
  2. extra : M.extra;
  3. mem : (M.M.ident, M.M.ident, M.xnode, M.xnode') GuaCaml.Hashcache.Conv.t;
  4. rec_edge : M.M.edge' -> M.xedge;
  5. rec_node : M.M.ident -> M.xnode;
}
val dump_stats : manager -> string GuaCaml.Tree.tree
val makeman : M.M.manager -> M.extra -> int -> manager
val newman : M.M.manager -> M.extra -> manager
val rec_edge : manager -> M.M.edge' -> M.xedge
val rec_node : manager -> M.M.ident -> M.xnode