functor (B : Builder.S->
  functor
    (L : sig
           val node : Dot_ast.node_id -> Dot_ast.attr list -> B.G.V.label
           val edge : Dot_ast.attr list -> B.G.E.label
         end->
    sig val parse : string -> B.G.t end