next node: Quadruple,
prev node: AnonTriple,
up to node: Subsystem ProductLike


Pair

Signature of Pair

List of Import References :
See BOOL
See DENOTATION

SIGNATURE Pair [data1,data2]

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

-- pair constructor

SORT data1 data2

TYPE    pair    == & (1st: data1, 2nd: data2 )

FUN unpair : pair -> data1 ** data2
-- & o unpair = id


next node: Quadruple,
prev node: AnonTriple,
up to node: Subsystem ProductLike