chickadee » random-access-lists » ral-start

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