Definitions
uncurry {A B C} (f : A -> B -> C) : Pair A B -> CSource#
Converts a function of two arguments to a function with a product argument.
curry {A B C} (f : Pair A B -> C) (a : A) (b : B) : CSource#
Converts a function with a product argument to a function of two arguments.