chickadee » tuples » tuple-cons-left

function (result)

(tuple-cons-left arg tup)

requires (%tuple? tup)

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