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