1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
package foo:foo; interface red { use green.{thing}; foo: func() -> thing; } interface green { type thing = s32; } world neptune { import red; import green; }