module type Extension : sig ... end
Extension to the base signature
module type S : sig ... end
module type Info : sig ... end