rev : 'a list -> 'a list
SYNOPSIS
Reverses a list.
DESCRIPTION
rev [x1;...;xn]
returns
[xn;...;x1]
.
FAILURE CONDITIONS
Never fails.