1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
package foo:foo; interface foo { record bar { r: bool, } } world the-world { import foo; import other-name: interface { use foo.{bar}; a: func() -> bar; } }