chickadee » tuples » tuple-map

function (result)

(tuple-map fn tup . tups)

requires (and (procedure? fn)
              (%tuple? tup)
              ((list-of? %tuple?) tups)
              (apply = (%tuple-length tup)
                       (map %tuple-length tups)))

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