chickadee
»
tuples
»
tuple-of?
Identifier search
tuple-of?
ok?
procedure
function (result)
(tuple-of? ok?) requires (procedure? ok?) ensures (procedure? result)