package foo:foo; world foo { import a: func(); } world bar { import a: func(); } world baz { include foo with { a as b } include bar; }