1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
package foo:foo;
interface foo {}
interface bar {}
world the-world {
import foo;
import bar;
import baz: interface {
foo: func();
}
export foo;
export bar;
export baz2: interface {
foo: func();
}
}
world a-different-world {
import foo;
}
interface i1 {
type t = u32;
}
interface i2 {
use i1.{t};
}
interface i3 {
use i2.{t};
}
world test {
import i3;
export i1;
export i3;
}