Module verification

Structs

• AccessTracker

Enums

• CodeType
  Types of code sections. It is a error if container to contain both RETURNCONTRACT and either of RETURN or STOP.
• EofError
  EOF Error.
• EofValidationError

Functions

• validate_eof
  Fully validates an Eof container.
• validate_eof_code
  Validates that:
• validate_eof_codes
  Validates an Eof structure, without recursing into containers.
• validate_eof_inner
• validate_raw_eof
  Decodes raw into an Eof container and validates it.
• validate_raw_eof_inner
  Decodes raw into an Eof container and validates it.