11.5.1 模块的分级及约束