chickadee » tuples » couple

couple x yprocedure

function (result)

(couple x y)

requires #t

ensures  (%couple? result)