chickadee » random-access-lists » ral-print

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