chickadee » skiplists » dups

dups x yprocedure

trivial numerical comparison operator to allow for duplicates

function (result)
requires (and ((skiplist-item? sls) x) ((skiplist-item? sls) y))
ensures  (fx= result 0)