Module Graph.Gml
Parser and pretty-printer for GML file format.
type value
=
|
Int of int
|
Float of float
|
String of string
|
List of value_list
and value_list
= (string * value) list
Graph.Gml
Parser and pretty-printer for GML file format.
type value
=
| Int of int |
| Float of float |
| String of string |
| List of value_list |
and value_list
= (string * value) list