List of Import References :
See BOOL
See DENOTATION
See Union3
SIGNATURE Union3Conv[data1, data2, data3]
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
--
-- Parameter
SORT data1 data2 data3
IMPORT Union3[data1, data2, data3] ONLY union
FUN ` : (data1 -> denotation) ** (data2 -> denotation) **
(data3 -> denotation) -> union -> denotation
-- `(f1,f2,f3)(data1(d1)) == "[1|" f1(d1) "]"
-- `(f1,f2,f3)(data2(d2)) == "[2|" f2(d2) "]"
-- `(f1,f2,f3)(data3(d3)) == "[3|" f3(d3) "]"
next node: Union4Conv,
prev node: Union2Conv,
up to node: Subsystem UnionLike