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