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


Triple

Signature of Triple

List of Import References :
See BOOL
See DENOTATION

SIGNATURE Triple [data1,data2,data3]

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

-- triple constructor

SORT data1 data2 data3

TYPE    triple  == &( 1st: data1, 2nd: data2, 3rd: data3 )

FUN untriple: triple -> data1 ** data2 ** data3     -- & o untriple = id


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