chickadee » tuples » tuple-split

function (head tail)

(tuple-split tup at)

requires (and (%tuple? tup)
          (cardinal? at) (< at (%tuple-length tup)))

ensures (and (%tuple? head) (%tuple? tail)
          (%tuple-eql? equal? tup (%tuple-append head tail)))))