1 2 3 4 5 6 7 8 9 10 11 12 13 14
package foo:bar; interface a { resource r; } world module { export anon: interface { use a.{r}; foo: func() -> r; } export a; }