chickadee » tuples » tuple-append

tuple-append #!rest tupsprocedure

function (result)

(tuple-append . tups)

requires ((list-of? %tuple?) tups)

ensures  (and (%tuple? result)
              (= (tuple-length result)
                 (apply + (map tuple-length tups))))