curry(f:AxB->C):A->(B->C)
uncurry(f:A->(B->C)):AxB->C
f822(p:AxB):BxA
The informal semantics of the operators are as follows:
No include commands found.
No autor