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

public class SingletonEnumerator<A>
  extends Enumerator<A>
{
    public SingletonEnumerator(A value);
    public boolean hasMoreElements();
    public A nextElement();
}