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