package DAGaml

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

Parameters

module M : Sig

Signature

type manager = {
  1. src : M.manager;
  2. dst : M.manager;
  3. mem : (M.ident, M.ident) GuaCaml.MemoTable.t;
  4. map_node : M.ident -> M.ident;
  5. map_edge : M.edge' -> M.edge';
}
val makeman : M.manager -> M.manager -> int -> manager
val newman : M.manager -> M.manager -> manager
val map_node : manager -> M.ident -> M.ident
val map_edge : manager -> M.edge' -> M.edge'