pure interface of class pizza.util.EmptyEnumerator<A>

public class EmptyEnumerator<A>
  extends Enumerator<A>
{
    public case empty;
    public boolean hasMoreElements();
    public A nextElement();
}