de.java

// v is vector testing equiv
// obj is RHS operand, potentially infinite seq

        else if(obj instanceof List)
                {
                Collection ma = (Collection) obj;

                if(ma instanceof Counted)
                    if(ma.size() != v.count())
                        return false;

                Iterator i2 = ma.iterator();

                for(Iterator i1 = ((List) v).iterator(); i1.hasNext();)
                        {
                        if(!Util.equiv(i1.next(), i2.next()))
                                return false;
                        }
                return !i2.hasNext();
                }