append : 'a list -> 'a list -> 'a list

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

SEEALSO  Lib

HOL  Kananaskis 0