Structs§
- Program
Annotations - Annotations of the program statements. See StatementAnnotations.
- Statement
Annotations - Annotation that represent the state at each program statement.
Enums§
- Annotation
Error - Inconsistent
Reference Error - Error representing an inconsistency in the references annotations.