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 val print : Format.formatter -> Gml.G.t -> unit end