1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
package foo:bar; interface a { resource r; } interface b { use a.{r}; } world module { export b; export some-name: interface { use b.{r}; f: func() -> r; } export a; }