package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type manager = BinUbdag.REMAN(G0).manager = {
  1. src : G0.manager;
  2. dst : G0.manager;
  3. mem : (G0.ident, G0.ident) GuaCaml.MemoTable.t;
  4. map_node : G0.ident -> G0.ident;
  5. map_edge : G0.edge' -> G0.edge';
}
val makeman : G0.manager -> G0.manager -> int -> manager
val newman : G0.manager -> G0.manager -> manager
val map_node : manager -> G0.ident -> G0.ident
val map_edge : manager -> G0.edge' -> G0.edge'