module - 模块之间的USES关系是传递的吗？

Question

这听起来微不足道，但即使我的教科书也无法给出明确的答案。开始：

如果模块 A使用模块 B，模块 B使用模块 C，那么我们是否（正式）说模块 A使用模块 C？

换句话说，模块之间的USES关系是可传递的，还是停留在某一层次？

如果USES关系是传递的，那意味着它支持模块之间的直接和间接关系（闭包）。如果它不是传递的，那意味着它只支持模块之间的直接关系。