public class IntHeapElem extends HeapElem { int key; public IntHeapElem(int k) { key = k; } public int compareTo(Object other) { return key - ((IntHeapElem) other).key; } public /*@ pure @*/ boolean equals(/*@ nullable @*/ Object o) { if (o == null || !(o instanceof IntHeapElem)) return false; return key == ((IntHeapElem) o).key; } public /*@ pure @*/ String toString() { return "" + key; } }