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: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)

-- 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