1\DOC cons
2
3\TYPE {cons : 'a -> 'a list -> 'a list}
4
5\SYNOPSIS
6Curried form of list cons operation.
7
8\KEYWORDS
9Curry
10
11\DESCRIBE
12In some programming situations it is handy to use the "cons"
13operation in a curried form. Although it is easy to code up on demand,
14the {cons} function is provided for convenience.
15
16\FAILURE
17Never fails.
18
19\EXAMPLE
20{
21- map (cons 1) [[],[2],[2,3]];
22> val it = [[1], [1, 2], [1, 2, 3]] : int list list
23}
24
25
26\ENDDOC
27