function (result) requires (skiplist? sls) ensures (and (procedure? result) "(fixnum? (result x y))")