chickadee » random-access-lists » ral-print

ral-print lsprocedure
command ((old new (constantly #t)))
requires (ral? ls)
ensures  new