1 2 3 4 5 6 7 8 9 10 11 12 13 14
interface foo { record bar {} a: func() -> bar } default world the-world { import different-name: self.foo import other-name: interface { use self.foo.{bar} a: func() -> bar } }