1  program parent.alpha {
 2      transition foo() -> u32 {
 3          return dep::X + dep::inner::Y;
 4      }
 5  }
 6  
 7  // --- Next Module: dep.leo --- //
 8  
 9  const X: u32 = 32;
10  
11  // --- Next Module: dep/inner.leo --- //
12  
13  const Y: u32 = 32;