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