Module Graph__.Graphml

module type G = sig ... end

Graph information required by Graphml

module Print : functor (G : G) -> functor (L : sig ... end) -> sig ... end

Graphml Printer given a graph and required info