# Module Merge

    module Merge: sig .. end

Provides functions to extend any module satisfying one of the signatures Sig.P, Sig.I and Builder.S .

    module type S = sig .. end

    module B: functor (X : Builder.S) -> S  with type graph = X.G.t
    			   and type vertex := X.G.vertex
    			   and type edge := X.G.edge
    			   and type edge_label = X.G.E.label

Extension for the module `X`.

    module P: functor (G : Sig.P) -> S  with type graph = G.t
    		      and type vertex := G.vertex
    		      and type edge := G.edge
    		      and type edge_label = G.E.label

Extension for the module `G`.

    module I: functor (G : Sig.I) -> sig .. end

Extension for the module `G`.