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.