chickadee
»
skiplists
»
skiplist-null?
Identifier search
skiplist-null?
sls
procedure
function
(
result
)
requires
(
skiplist? sls
)
ensures
(
boolean? result
)