ral-max-height | chickadee

function (result)
requires (ral? ls)
ensures  (and (fixnum? result) (fx> result 0))

chickadee » random-access-lists » ral-max-height