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