Module type TypeSubstitution.S

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