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