List of Import References :
See BOOL
See DENOTATION
See Pair
SIGNATURE PairMap[data1,data2,data11,data21]
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
-- Parameter
SORT data1 data2 data11 data21
IMPORT Pair[data1,data2] ONLY pair
Pair[data11,data21] ONLY pair
FUN * : (data1 -> data11) ** (data2 -> data21) **
pair[data1,data2] -> pair[data11, data21]
-- (f1,f2) * (a & b) = f1(a) & f2(b)
next node: QuadrupleConv,
prev node: PairConv,
up to node: Subsystem ProductLike