1 2 3 4 5 6 7 8 9 10 11 12
interface name { record foo {} } default world foo { export other-name: self.name export name: interface { use self.name.{foo} a: func(f: foo) } }