chickadee » random-access-lists » ral-filter

ral-filter ls ok?procedure
function (result)
requires (and (ral? ls) (procedure? ok?) "(ok? item)")
ensures  (and (ral? result)
              (fx<= (ral-count result) (ral-count ls)))