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