append : 'a list -> 'a list -> 'a list
The function append is a curried form of the standard operation for appending two ML lists.
- append [1] [2,3] = [1] @ [2,3]; > val it = true : bool