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