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