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:
Extension for the module X
.
module P:
Extension for the module G
.
module I:
Extension for the module G
.