- list->tuple lstprocedure
function (result)
(list->tuple lst) requires (list? lst) ensures (and (%tuple? result) (= (length lst) (%tuple-length result)))
function (result)
(list->tuple lst) requires (list? lst) ensures (and (%tuple? result) (= (length lst) (%tuple-length result)))