last
Lib.last : 'a list -> 'a
Computes the last element of a list.
last [x1,...,xn] returns xn.
last [x1,...,xn]
xn
Fails if the list is empty.
Lib.butlast, Lib.el, Lib.front_last
Lib.butlast
Lib.el
Lib.front_last