chickadee » tuples » couple-eqv?

couple-eqv? cpl0 cpl1procedure

function (result)

(couple-eqv? cpl0 cpl1)

requires (and (%couple? cpl0) (%couple? cpl1))

ensures  (boolean? result)