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.


AUTHOR

No autor