Використовуючи видимість та ієрархію за допомогою субмодулів двох окремих модулів можна легко добратись навіть перехресно до об'єктів та сутностей, оголошених в кожному з цих модулів, — субмодуль модуля А може використовувати об'єкт з модуля Б, а субмодуль модуля Б в свою чергу використовує об'єкт модуля А (що без субмодулів явно заборонено і викликає помилку циркулярної взаємозалежності модулів А та Б під час компіляції).