- tuple-eql? eql? tup0 tup1procedure
function (result)
(tuple-eql? eql? tup0 tup1) requires (and (procedure? eql?) (%tuple? tup0) (%tuple? tup1)) ensures (boolean? result)
function (result)
(tuple-eql? eql? tup0 tup1) requires (and (procedure? eql?) (%tuple? tup0) (%tuple? tup1)) ensures (boolean? result)