Module annotations

Structs

• ProgramAnnotations
  Annotations of the program statements. See StatementAnnotations.
• StatementAnnotations
  Annotation that represent the state at each program statement.

Enums

• AnnotationError
• InconsistentReferenceError
  Error representing an inconsistency in the references annotations.