List of Import References :
See BOOL
See DENOTATION
SIGNATURE Compose[arg,inter,res]
$Date: 1998/06/16 16:00:11 $ ($Revision: 1.1.1.1 $)
-- 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