chickadee
»
tuples
»
couple-right
Identifier search
couple-right
cpl
procedure
function (result)
(couple-right cpl) requires (%couple? cpl) ensures "rightmost item"