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