Module type With10.T

With10.T is a submodule type.

module M : sig ... end
module N : M.S