- tuple-find ok? tupprocedure
function (result)
(tuple-find ok? tup) requires (and (procedure? ok?) (%tuple? tup)) ensures (or (not result) (and (cardinal? result) (< result (%tuple-length tup)) "index of found item"))
function (result)
(tuple-find ok? tup)
requires (and (procedure? ok?) (%tuple? tup))
ensures (or (not result)
(and (cardinal? result)
(< result (%tuple-length tup))
"index of found item"))