1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
package foo:foo; world a { resource r { constructor(); m: func(); sm: static func(); } import f: func(x: r) -> option<r>; export g: func(x: r) -> option<r>; } world b { include a with { r as s } }