next node: AnonQuadruple,
prev node: Subsystem ProductLike,
up to node: Subsystem ProductLike


AnonPair

Signature of AnonPair

List of Import References :
See BOOL
See DENOTATION

SIGNATURE AnonPair[data1, data2]

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

--

-- Parameter
SORT data1 data2

FUN 1st: data1 ** data2 -> data1
FUN 2nd: data1 ** data2 -> data2


next node: AnonQuadruple,
prev node: Subsystem ProductLike,
up to node: Subsystem ProductLike