- tuple-right tupprocedure
function (result)
(tuple-right tup) requires (and (%tuple? tup) (positive? (%tuple-length tup))) ensures "tup's rightmost item"
function (result)
(tuple-right tup) requires (and (%tuple? tup) (positive? (%tuple-length tup))) ensures "tup's rightmost item"