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