1 2 3 4 5 6 7 8 9
package foo:bar; world module { import foo: interface { resource a { constructor() -> result<a, u32>; } } }