next node: Triple,
prev node: Pair,
up to node: Subsystem ProductLike


Quadruple

Signature of Quadruple

List of Import References :
See BOOL
See DENOTATION

SIGNATURE Quadruple [data1,data2,data3,data4]

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

-- quadruple constructor

SORT data1 data2 data3 data4

TYPE quad == &( 1st: data1, 2nd: data2, 3rd: data3, 4th: data4 )

FUN unquad: quad -> data1 ** data2 ** data3 ** data4   -- & o unquad == id


next node: Triple,
prev node: Pair,
up to node: Subsystem ProductLike