package DAGaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module M : sig ... end
module G : sig ... end
type manager = G.manager
val makeman : int -> G.manager
val newman : unit -> G.manager
val dump_stats : G.manager -> string GuaCaml.Tree.tree
val dump_estats : G.manager -> (G.M.edge * 'a) list -> string GuaCaml.Tree.tree
val dump : G.manager -> G.ident G.M.edge' list -> string GuaCaml.Tree.tree
val load : string GuaCaml.Tree.tree -> G.manager * G.ident G.M.edge' list
val export : 'a -> 'a
val copy_into : G.manager -> G.manager -> G.edge' -> G.edge'
val copy_list_into : G.manager -> G.manager -> G.edge' list -> G.edge' list