class_name EmptyIterator extends Iterator func next() -> Option: return Option.none