1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
package foo:bar; interface foo { resource r; type handle = own<r>; } world module { export foo; export anon: interface { use foo.{handle}; f: func() -> handle; } }