declare class Foo {
  @@iterator(): int
}