File
Fixtype of Leo files.
This is a product type introduced by fty::defprod.
Fields
- imports — importdecl-list
- program — programdecl
A file consists of a list of declarations.
We formalize a file as a one-component record,
instead of directly as a list of definitions,
so that we can capture more information about the file in the future.
Furthermore, that provides a bit more abstraction.
Subtopics
- File-fix
- Fixing function for file structures.
- File-equiv
- Basic equivalence relation for file structures.
- Make-file
- Basic constructor macro for file structures.
- Filep
- Recognizer for file structures.
- File->program
- Get the program field from a file.
- File->imports
- Get the imports field from a file.
- Change-file
- Modifying constructor for file structures.
