ComposeQuadruple

Composition of four-argument with one-argument function

Signature of ComposeQuadruple

List of Import References :
See BOOL
See DENOTATION

SIGNATURE ComposeQuadruple[arg1,arg2,arg3,arg4,inter,res]

SORT arg1 arg2 arg3 arg4 inter res

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

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

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

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

next node: ComposeTriple,
prev node: ComposePar,
up to node: Subsystem General