\DOC append

\TYPE {append : 'a list -> 'a list -> 'a list}

\KEYWORDS
Curry

\SYNOPSIS
Curried form of list append.

\DESCRIBE
The function {append} is a curried form of the standard operation for
appending two ML lists.

\FAILURE
Never fails.

\EXAMPLE
{
- append [1] [2,3] = [1] @ [2,3];
> val it = true : bool
}


\ENDDOC