Compat.last : 'a list -> 'a
SYNOPSIS
Computes the last element of a list.
DESCRIBE
last [x1,...,xn]
returns
xn
.
FAILURE
Found in the hol88 library. Fails with
last
if the list is empty. It will not be found unless the hol88 library has been loaded.
COMMENTS
Not in hol90, since it was never used in the implementation.
SEEALSO
butlast
,
hd
,
tl
,
el
,
null
HOL
Kananaskis 0