chickadee » tuples » tuple-butright

function (result)

(tuple-butright tup)

requires (and (%tuple? tup) (positive? (%tuple-length tup)))

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