1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
package my:inline; interface foo { resource a; bar: func() -> a; } interface bar { use foo.{a}; bar: func(m: a) -> list<a>; } world test { export foo; export bar; } world runner { import bar; export run: func(); }