functor
  (G : G) (L : sig
                 val node : Gml.G.V.label -> Gml.value_list
                 val edge : Gml.G.E.label -> Gml.value_list
               end->
  sig val print : Format.formatter -> Gml.G.t -> unit end