chickadee » tuples » couple-eq?

couple-eq? cpl0 cpl1procedure

function (result)

(couple-eq? cpl0 cpl1)

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

ensures  (boolean? result)