chickadee » random-access-lists » ral-restructure

function (result)
requires (and (ral? ls) (fixnum? width)
              (fx> width 1) (fixnum? max-height) (fx> max-height 1))
         ; default (fx= max-height (ral-max-height ls))
ensures  (and (ral? result) (fx= (ral-count ls) (ral-count result))
              (fx= (ral-width result) width)
              (fx= (ral-max-height result) max-height))