Constant function of two results
List of Import References :
See BOOL
See DENOTATION
SIGNATURE ConstantPair[res1,res2,arg]
$Date: 2011-01-04T14:44:45.667619Z $ ($Revision: 8623 $)
SORT res1 res2 arg
const(x1,x2)(y) yields (x1,x2) for all y.
FUN const: res1 ** res2 -> arg -> res1 ** res2
next node: Control,
prev node: Constant,
up to node: Subsystem General