1package foo:foo;
2
3interface floats {
4 float32-param: func(x: float32);
5 float64-param: func(x: float64);
6 float32-result: func() -> float32;
7 float64-result: func() -> float64;
8}
9
10world the-world {
11 import floats;
12 export floats;
13}
14