List of Import References :
See BOOL
See DENOTATION
SIGNATURE Compose[arg,inter,res]
$Date: 2010-09-30 18:24:17 +0200 (Thu, 30 Sep 2010) $ ($Revision: 616 $)
-- function composition SORT arg inter res FUN o : (inter -> res) ** (arg -> inter) -> (arg -> res) -- (f o g)(x) == f(g(x)) FUN ; : (arg -> inter) ** (inter -> res) -> (arg -> res) -- (g ; f)(x) == f(g(x))
next node: ComposePar,
prev node: Subsystem General,
up to node: Subsystem General