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
}