Module_type_subst.Local
type local := int * int
module type local := sig ... end
module type w = local
module type s = sig ... end