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