|
|
|---|
|
|
|
|---|
Static checks on input files.
These check static semantic requirements on Leo input files. The checks also calculate information from the input file that is used to check the combination of a Leo program and its input file.
The checking of an input file happens in the context of a static environment that is derived from the program.