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