package foo:foo; interface foo { flags a { b, } type b = a; f: func() -> b; } world my-world { export foo; }