B.1 Declaration Commands

B.1 Declaration Commands

This section lists those commands that are related to constant declarations and that are mainly applicable in the "declaration mode" of the system.

• B.1.1 read: Read Declaration File
• B.1.2 newcontext: Start New Declaration Context
• B.1.3 tcc: Print Type Checking Condition
• B.1.4 type, value, formula: Print Constant Declaration
• B.1.5 environment: Print Environment
• B.1.6 option: Set System Option

B.1 Declaration Commands