Module type Nested.with_subst

module N : sig ... end