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

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