1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
package foo:foo; interface name1 { record name { f: u8, } } interface name2 { use name1.{name}; } world module { import name1; import name2; export name: interface { use name1.{name}; use name2.{name as name1}; } }