package jif.util;

/**
 * An iterator interface for the Jif collection framework.
 */
public interface Iterator[label L] {
    boolean{L} hasNext();
    JifObject[L]{L} next{L}() throws (NoSuchElementException{L});
    //? Object{L} next{L}() throws (NoSuchElementException{L});
    void remove{L}() throws (IllegalStateException{L});
}
