B.1.4 type, value, formula: Print Constant Declaration

B.1.4 type, value, formula: Print Constant Declaration

Synopsis

Alternative Applications

• Menu of Type Constant T: type T
• Menu of Value Constant V: value V
• Menu of Formula Constant F: formula F

Applicable

In declaration mode and in proving mode.

Description

These commands print the declaration of a type constant T, value constant V, or formula constant F visible in the current environment.

B.1.4 type, value, formula: Print Constant Declaration