1\DOC append 2 3\TYPE {append : 'a list -> 'a list -> 'a list} 4 5\KEYWORDS 6Curry 7 8\SYNOPSIS 9Curried form of list append. 10 11\DESCRIBE 12The function {append} is a curried form of the standard operation for 13appending two ML lists. 14 15\FAILURE 16Never fails. 17 18\EXAMPLE 19{ 20- append [1] [2,3] = [1] @ [2,3]; 21> val it = true : bool 22} 23 24 25\ENDDOC 26