package foo:foo;

interface a {}
interface b {}

world bar {
    import a;
    export b;
}

world foo {
  include bar;
  include bar;
  include bar;
}