chickadee
»
tuples
»
tuple-empty?
Identifier search
tuple-empty?
xpr
procedure
function (result)
(
tuple-empty? xpr
)
requires
#
t
ensures
(
boolean? result
)