1\DOC front_last
2
3\TYPE {Lib.front_last : 'a list -> 'a list * 'a}
4
5\SYNOPSIS
6Takes a non-empty list {L} and returns a pair {(front,last)} such that
7{front @ [last] = L}.
8
9\KEYWORDS
10list.
11
12\FAILURE
13Fails if the list is empty.
14
15\EXAMPLE
16{
17- front_last [1];
18> val it = ([],1) : int list * int
19
20- front_last [1,2,3];
21> val it = ([1,2],3) : int list * int
22}
23
24
25\SEEALSO
26Lib.butlast, Lib.last.
27\ENDDOC
28