% $Id: Reverse.oz,v 1.1 2007/11/28 19:10:36 leavens Exp $ \insert 'AddToEnd.oz' declare proc {Reverse L R} choice L=nil R=nil [] local E Es R2 in L=E|Es {Reverse Es R2} {AddToEnd R2 E R} end end end