functor (B : Builder.S->
  functor
    (L : sig
           val node : Gml.value_list -> B.G.V.label
           val edge : Gml.value_list -> B.G.E.label
         end->
    sig val parse : string -> B.G.t end