pragma statement

PragmaStatement :
   pragma VersionRequirement

VersionRequirement :Following the semver implementation by cargo

The pragma statement is denoted with the keyword pragma. Evaluating a pragma statement will cause the compiler to reject compilation if the version of the compiler does not conform to the given version requirement.

An example of a pragma statement:

pragma ^0.1.0

The version requirement syntax is identical to the one that is used by cargo (more info).