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