List of Import References :
See BOOL
See DENOTATION
See Union2
SIGNATURE Union2Conv[data1, data2]
$Date: 1998/06/16 16:00:06 $ ($Revision: 1.1.1.1 $)
-- -- Parameter SORT data1 data2 IMPORT Union2[data1, data2] ONLY union FUN ` : (data1 -> denotation) ** (data2 -> denotation) -> union -> denotation -- `(f1,f2)(data1(d1)) == "[1|" f1(d1) "]" -- `(f1,f2)(data2(d2)) == "[2|" f2(d2) "]"
next node: Union3Conv,
prev node: OptionMap,
up to node: Subsystem UnionLike