chickadee
»
random-access-lists
»
ral-node?
Identifier search
ral-node?
xpr
procedure
function
(
result
)
requires
#
t
ensures
(
boolean? result
)