- couple-equal? cpl0 cpl1procedure
function (result)
(couple-equal? cpl0 cpl1) requires (and (%couple? cpl0) (%couple? cpl1)) ensures (boolean? result)
function (result)
(couple-equal? cpl0 cpl1) requires (and (%couple? cpl0) (%couple? cpl1)) ensures (boolean? result)