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

ral-equal? ls0 ls1procedure
function (result)
requires (and (ral? ls0) (ral? ls1))
ensures  (boolean? result)