chickadee » tuples » tuple-copy

tuple-copy tupprocedure

function (result)

(tuple-copy tup)

requires (%tuple tup)

ensures  (%tuple result)