package foo:foo interface strings { a: func(x: string) b: func() -> string c: func(a: string, b: string) -> string } world the-world { import strings export strings }