next node: Dyn,
prev node: Union3Conv,
up to node: Subsystem UnionLike


Union4Conv

Signature of Union4Conv

List of Import References :
See BOOL
See DENOTATION
See Union4

SIGNATURE Union4Conv[data1, data2, data3, data4]

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

--

-- Parameter
SORT data1 data2 data3 data4

IMPORT Union4[data1, data2, data3, data4] ONLY union

FUN ` : (data1 -> denotation) ** (data2 -> denotation) ** 
        (data3 -> denotation) ** (data4 -> denotation) -> union -> denotation
-- `(f1,f2,f3,f4)(data1(d1)) == "[1|" f1(d1) "]"
-- `(f1,f2,f3,f4)(data2(d2)) == "[2|" f2(d2) "]"
-- `(f1,f2,f3,f4)(data3(d3)) == "[3|" f3(d3) "]"
-- `(f1,f2,f3,f4)(data4(d4)) == "[4|" f4(d4) "]"


next node: Dyn,
prev node: Union3Conv,
up to node: Subsystem UnionLike