chickadee
»
tuples
»
tuple
Identifier search
tuple
#!rest
args
procedure
function (result)
(
tuple . args
)
requires #t ensures
(
%tuple? result
)