Flip

Flip the arguments of a function

Signature of Flip

List of Import References :
See BOOL
See DENOTATION

SIGNATURE Flip[arg1,arg2,res]

$Date: 2011-01-04T14:44:45.667619Z $ ($Revision: 8623 $)

SORT arg1 arg2 res

flip(f)(x,y) = f(y,x) and flip(f)(x)(y) = f(y)(x) for all x, y.

FUN flip: (arg1 ** arg2 -> res) -> arg2 ** arg1 -> res
FUN flip: (arg1 -> arg2 -> res) -> arg2 -> arg1 -> res

next node: Funct,
prev node: Dotfix,
up to node: Subsystem General