chickadee » tuples » tuple-eqv?

function (result)

(tuple-eqv? tup0 tup1)

requires (and (%tuple? tup0) (%tuple? tup1))

ensures  (boolean? result)