| EntitiesNamed abstractions on the program sideSections and subsections on the documentation sideA naming scheme that allows us to address the program entities from the documentation
RelationsA doc-prog relation which connects explanations with program entities.A prog-prog relation which connects applied and defined name occurrencesA doc-doc relation which connects explanations across the hierarchical documentation structure
Source markersRepresent positions in a program which we want to address in the explanations
Documentation bundleAn aggregation of programs, documentation texts, and additional properties (e.g., processing options)
 |  |  |