next node: AnonPair,
prev node: TripleConv,
up to node: Subsystem ProductLike


TripleMap

Signature of TripleMap

List of Import References :
See BOOL
See DENOTATION
See Triple

SIGNATURE TripleMap[data1,data2,data3,data11,data21,data31]

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

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