package iterator.singleton;

import iterator.it.*;

public class SingletonIterator implements Iterator {

    public SingletonIterator(Object value);
        //@ requires value != null;
        //@ ensures valid(cons(value, nil));

}