chickadee » tuples » tuple-eq?

function (result)

(tuple-eq? tup0 tup1)

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

ensures  (boolean? result)