chickadee » random-access-lists » ral-eql?

ral-eql? eql? ls0 ls1procedure
function (result)
requires (and (procedure? eql?) "(eql? item0 item1)"
              (ral? ls0) (ral? ls1))
ensures  (boolean? result)