1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
package foo:bar; interface foo { resource name; } interface name { use foo.{name}; } world module { export foo; export name; export name: interface { use name.{name}; } }