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