Module Module_type_subst.Structural

module type u = sig ... end
module type w = u with module type a = sig ... end