chickadee » tuples » tuple-equal?

function (result)

(tuple-equal? tup0 tup1)

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

ensures  (boolean? result)