List of Import References :
See BOOL
See DENOTATION
SIGNATURE ComposePar[arg1, res1, arg2, res2]
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
-- 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: ComposeQuadruple,
prev node: ComposePair,
up to node: Subsystem General