Module Gml

module Gml: sig .. end

Parser and pretty-printer for GML file format.

type value =

`\|`	`Int of int`
`\|`	`Float of float`
`\|`	`String of string`
`\|`	`List of value_list`

type value_list = (string * value) list

Parser

module Parse: functor (B : Builder.S) -> functor (L : sig
val node : Gml.value_list -> B.G.V.label

How to build the node label out of the set of GML attributes.
           For example node [ id 12 label "foo" ]  will call this
           function with ["id", Int 12; "label", String "foo"]



val edge : Gml.value_list -> B.G.E.label

How to build the edge label out of the set of GML attributes


end) -> sig .. end

Provide a parser for GML file format.

Pretty-printer

module type G = sig .. end

Signature for graph required by Gml.Print.

module Print: functor (G : G) -> functor (L : sig
val node : Gml.G.V.label -> Gml.value_list
val edge : Gml.G.E.label -> Gml.value_list
end) -> sig .. end

Provide a pretty-printer for GML file format.