chickadee » tuples » tuple-reverse

function (result)

(tuple-reverse tup)

requires (%tuple? tup)

ensures  (and (%tuple result)
              (= (%tuple-length result)
                 (%tuple-length tup)))