Constant

Constant function of one result

Signature of Constant

List of Import References :
See BOOL
See DENOTATION

SIGNATURE Constant[res,arg]

$Date: 2011-01-04T14:44:45.667619Z $ ($Revision: 8623 $)

SORT res arg

const(x)(y) yields x for all y.

FUN const: res -> arg -> res

next node: ConstantPair,
prev node: ComposeTriple,
up to node: Subsystem General