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