Output-syntax-abstraction
Mapping from concrete to abstract syntax, for Leo output files.
This is analogous to syntax-abstraction,
and partly based on it,
but for Leo output files instead of Leo code files.
Subtopics
- Abs-output-expression
- Abstract an output-expression to an output expression.
- Abs-output-section
- Abstract an output-section to an output section.
- Abs-output-item
- Abstract an output-item to an input item.
- Abs-output-file
- Abstract an output-file to an output file.
