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