The ml programming language has a built-in list reverse function called rev.