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