1fd3a827eSAlex Crichtonpackage foo:foo;
241417d9eSAlex Crichton
32329ecc3SAlex Crichtoninterface floats {
4*6844ed1aSAlex Crichton  f32-param: func(x: f32);
5*6844ed1aSAlex Crichton  f64-param: func(x: f64);
6*6844ed1aSAlex Crichton  f32-result: func() -> f32;
7*6844ed1aSAlex Crichton  f64-result: func() -> f64;
82329ecc3SAlex Crichton}
92329ecc3SAlex Crichton
1041417d9eSAlex Crichtonworld the-world {
11fd3a827eSAlex Crichton  import floats;
12fd3a827eSAlex Crichton  export floats;
132329ecc3SAlex Crichton}
14