1\DOC last 2 3\TYPE {last : 'a list -> 'a} 4 5\SYNOPSIS 6Computes the last element of a list. 7 8\DESCRIBE 9{last [x1,...,xn]} returns {xn}. 10 11\FAILURE 12Fails if the list is empty. 13 14\SEEALSO 15Lib.butlast, Lib.el, Lib.front_last. 16\ENDDOC 17