documented the notation "@use mod1, mod2, ...".