1 Last = List +
2 consts last :: 'a list => 'a
3 recdef last "measure (%xs. length xs)"
4 "last [x] = x"
5 "last (x#y#zs) = last (y#zs)"
6 end