chickadee
»
skiplists
»
skiplist-for-each
Identifier search
skiplist-for-each
sls
proc
procedure
command ((old new (constantly #t))) requires (and (skiplist? sls) (procedure? proc)) ensures new