module Gml:Parser for GML file formatsig..end
type value =
| |
Int of |
| |
Float of |
| |
String of |
| |
List of |
typevalue_list =(string * value) list
module Parse:functor (B:Builder.S) ->functor (L:sigval node :Gml.value_list -> B.G.V.labelhow to build the node label out of the set of GML attributes; for examplenode [ id 12 label "foo" ]will call this function with["id", Int 12; "label", String "foo"]
val edge :Gml.value_list -> B.G.E.labelhow to build the edge label out of the set of GML attributes
end) ->sig..end
module Print:functor (G:sigmodule V:sig..endmodule E:sig..endtypetval iter_vertex :(V.t -> unit) -> t -> unitval iter_edges_e :(E.t -> unit) -> t -> unitend) ->functor (L:sigval node :G.V.label -> Gml.value_listval edge :G.E.label -> Gml.value_listend) ->sig..end