chickadee
»
random-access-lists
»
ral-item?
Identifier search
ral-item?
ls
procedure
function (result) requires (ral? ls) ensures (procedure? result)