The last primitive to reflect the whole module content is for a file. A Python file has a few attributes which should be shown. Namely, a file may have:
- a docstring
- an encoding line
- a hash bang line
Naturally, a file forms a scope within which all the other items are located. So a scope primitive could be used as shown here.