Module Module_type_subst.Local

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