List of Import References :
See BOOL
See DENOTATION
SIGNATURE Triple [data1,data2,data3]
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
-- 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