1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
package foo:foo interface foo { flags a { b, } type b = a f: func() -> b } world my-world { export foo }