chickadee » random-access-lists » ral-start

function (result)
requires (ral? ls)
ensures  (ral-node? result)