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


Compose

Signature of Compose

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