package DAGaml

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

Parameters

module M1 : MSig

Signature

module G1 : sig ... end
module G0 = G1.G
module REMAN : sig ... end
module IMPORT : sig ... end
val to_stree : G0.manager -> G0.edge' list -> string GuaCaml.Tree.tree
val of_stree : string GuaCaml.Tree.tree -> G1.G.manager * IMPORT.MSig.xedge list
val to_file : G0.manager -> G0.edge' list -> string -> unit
val of_file : string -> G1.G.manager * IMPORT.MSig.xedge list