append

Lib.append : 'a list -> 'a list -> 'a list

Curried form of list append.

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