1\DOC curry
2
3\TYPE {curry : ('a * 'b -> 'c) -> 'a -> 'b -> 'c}
4
5\SYNOPSIS
6Converts a function on a pair to a corresponding curried function.
7
8\DESCRIBE
9The application {curry f} returns {fn x => fn y => f(x,y)}, so that
10{
11   curry f x y = f(x,y)
12}
13
14
15\FAILURE
16A call {curry f} never fails; however, {curry f x y} fails if {f (x,y)}
17fails.
18
19\EXAMPLE
20{
21- val increment = curry op+ 1;
22> val it = increment = fn : int -> int
23
24- increment 6;
25> val it = 7 : int
26}
27
28
29\SEEALSO
30Lib, Lib.uncurry.
31\ENDDOC
32