Module type TypeSubstitution.T

module M : sig ... end
type t = int