1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
package my:test; interface a { type t = list<u8>; f: func() -> list<t>; } interface b { type t = list<u8>; g: func() -> list<t>; } world w { import a; import b; }