1 2 3 4 5 6 7 8 9 10 11
package foo:foo; interface foo {} world a { import foo; } world b { include a with { foo:foo/foo as foo2 } }