chickadee
»
tuples
»
tuple->list
Identifier search
tuple->list
tup
procedure
function (result)
(tuple->list tup) requires (%tuple? tup) ensures (list? result)