Module validate

Enums

• Introduction
  The point a variable was introduced.
• ValidationError
  Possible failing validations.

Functions

• validate
  Validates that the lowering structure is valid.