package foo:bar; interface foo { resource a; type b = a; f1: func(a: a); f2: func(b: b); } world x { import foo; export foo; }