3.1 The extron transformers

 

These transformations principally reduce language extensions to an unextended kernel. The sequence of these transformations, shown in the command hierarchy, is reflected by the subsection ordering.

• 3.1.1 undeclare
  • Transforming sg definitions
    
  • Evaluating declare facts
    
• 3.1.2 untype
• 3.1.3 unmacro
• 3.1.4 unor
• 3.1.5 unlambda
• 3.1.6 hitrans
• 3.1.7 uncomma