chickadee » random-access-lists » ral->list

ral->list lsprocedure
ral->list ls levelprocedure
function (result)
requires (and (ral? ls) (fixnum? level)
              (fx<= 0 level) (fx< level (ral-height ls)))
         ; default (fx= level 0)
ensures  ((list-of? (ral-item? ls)) result)