List of Import References :
See BOOL
See DENOTATION
See Quadruple
SIGNATURE QuadrupleConv[data1, data2, data3, data4]
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
-- converting quadruples
-- Parameter
SORT data1 data2 data3 data4
IMPORT Quadruple[data1, data2, data3, data4] ONLY quad
FUN ` : (data1 -> denotation) ** (data2 -> denotation) **
(data3 -> denotation) ** (data4 -> denotation) -> quad -> denotation
FUN ` : denotation ** denotation ** denotation ->
(data1 -> denotation) ** (data2 -> denotation) **
(data3 -> denotation) ** (data4 -> denotation) -> quad -> denotation
-- this form allows for giving left bracket, seperator and right bracket
-- explicitly
-- `(f1,f2,f3,f4)(q) == `("(", ",", ")")(f1,f2,f3,f4)(q)
-- == "(" f1(1st(q)) "," f2(2nd(q)) "," f3(3rd(q)) "," f4(4th(q)) ")"
next node: QuadrupleMap,
prev node: PairMap,
up to node: Subsystem ProductLike