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