Composition of two-argument with one-argument function
List of Import References :
See BOOL
See DENOTATION
SIGNATURE ComposePair[arg1,arg2,inter,res]
$Date: 2010-09-30T16:24:17.634960Z $ ($Revision: 1800 $)
SORT arg1 arg2 inter res
Composition in mathematical notation: (f o g)(x,y) = f(g(x,y))
for all x, y.
FUN o: (inter -> res) ** (arg1**arg2 -> inter) -> arg1**arg2 -> res
Alternative notation in order application: (g ; f)(x,y) = f(g(x,y))
for all x, y.
FUN ; : (arg1**arg2 -> inter) ** (inter -> res) -> arg1**arg2 -> res
next node: ComposePar,
prev node: Compose,
up to node: Subsystem General