package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module M : sig ... end
module G : sig ... end
type manager = Model.M.manager
val makeman : int -> manager
val newman : unit -> manager
val dump_stats : manager -> GuaCaml.Tree.stree
val push : manager -> G.node' -> G.edge'
val pull : manager -> G.edge' -> G.node'
val export : manager -> G.manager
val copy_into : manager -> manager -> G.edge' -> G.edge'
val copy_list_into : manager -> manager -> G.edge' list -> G.edge' list