package foo:foo; world foo { export foo:the-dep/the-interface; }