Equals public boolean equals (IntList o) { // EFFECTS: metodo overridden, verifica se o e this rappresentano la stessa lista if (vuota && o.vuota) {return true;} if (val != o.val) {return false;} return this.next.equals(o.next);}  Deve verificare che  (this) =  (o) 4 Si sfrutta il fatto che, come garantito dall'invariante, se non vale 4 vuota, allora next è definito (al limite è la lista vuota)
{}