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