last : 'a list -> 'a
STRUCTURE
Lib
SYNOPSIS
Computes the last element of a list.
DESCRIPTION
last [x1,...,xn]
returns
xn
.
FAILURE
Fails if the list is empty.
SEEALSO
butlast
,
el
,
front_last
HOL
Kananaskis-13