next node: Control,
prev node: Compose,
up to node: Subsystem General


ComposePar

Signature of ComposePar

List of Import References :
See BOOL
See DENOTATION

SIGNATURE ComposePar[arg1, res1, arg2, res2]

$Date: 1998/06/16 16:00:11 $ ($Revision: 1.1.1.1 $)

-- parallel composition of functions

-- Parameter
SORT arg1 res1 arg2 res2

FUN | : (arg1 -> res1) ** (arg2 -> res2) ->
               (arg1 ** arg2 -> res1 ** res2)

-- (f | g)(x, y) = (f(x), g(y))


next node: Control,
prev node: Compose,
up to node: Subsystem General