chickadee » tuples » tuple-butleft

function (result)

(tuple-butleft tup)

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

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