NAME


SYNOPSYS

curry(f:AxB->C):A->(B->C) uncurry(f:A->(B->C)):AxB->C f822(p:AxB):BxA


DESCRIPTION

The informal semantics of the operators are as follows:

curry(f:AxB->C):A->(B->C)
uncurry(f:A->(B->C)):AxB->C
f822(p:AxB):BxA


SEE ALSO

No include commands found.