chickadee » random-access-lists » ral-level

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