ComposeTriple

Composition of three-argument with one-argument function

Signature of ComposeTriple

List of Import References :
See BOOL
See DENOTATION

SIGNATURE ComposeTriple[arg1,arg2,arg3,inter,res]

SORT arg1 arg2 arg3 inter res

Composition in mathematical notation: (f o g)(x,y,z) = f(g(x,y,z)) for all x, y, z.

FUN o: (inter -> res) ** (arg1**arg2**arg3 -> inter) -> arg1**arg2**arg3 -> res

Alternative notation in order application: (g ; f)(x,y,z) = f(g(x,y,z)) for all x, y, z.

FUN ; : (arg1**arg2**arg3 -> inter) ** (inter -> res) -> arg1**arg2**arg3 -> res

next node: Constant,
prev node: ComposeQuadruple,
up to node: Subsystem General