1 2 3 4 5 6 7 8 9 10 11 12 13
package foo:bar; interface foo { resource a; type b = a; f1: func(a: a); f2: func(b: b); } world x { import foo; export foo; }