chickadee
»
random-access-lists
»
ral-count
Identifier search
ral-count
ls
procedure
function
(
result
)
requires
(
ral? ls
)
ensures
(
and
(
fixnum? result
)
(
fx>= result 0
)
)