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