Function composition of one argument functions
List of Import References :
See BOOL
See DENOTATION
SIGNATURE Compose[arg,inter,res]
$Date: 2012-02-07 22:36:19 +0100 (Di, 07. Feb 2012) $ ($Revision: 800 $)
SORT arg inter res
Composition in mathematical notation: (f o g)(x) = f(g(x)) for all x.
FUN o: (inter -> res) ** (arg -> inter) -> (arg -> res)
Alternative notation in order of application: (g ; f)(x) = f(g(x)) for all x.
FUN ; : (arg -> inter) ** (inter -> res) -> (arg -> res)
next node: ComposePair,
prev node: Subsystem General,
up to node: Subsystem General