package php; /** @see http://php.net/manual/en/class.traversable.php **/ @:native('Traversable') extern interface Traversable {}