chickadee
»
tuples
»
couple?
Identifier search
couple?
x
procedure
function (result)
(couple? x) requires #t ensures (boolean? result)