List of Import References :
See BOOL
See DENOTATION
See Triple
SIGNATURE TripleMap[data1,data2,data3,data11,data21,data31]
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
-- Parameter
SORT data1 data2 data3 data11 data21 data31
IMPORT Triple[data1,data2,data3] ONLY triple
Triple[data11,data21,data31] ONLY triple
FUN * : (data1 -> data11) ** (data2 -> data21) ** (data3 -> data31) **
triple[data1,data2,data3] -> triple[data11, data21, data31]
-- (f,g,h) * &(a,b,c) = &(f(a), g(b), h(c))
next node: AnonPair,
prev node: TripleConv,
up to node: Subsystem ProductLike