Module type With6.T

module M : sig ... end