Pragmas

Syntax

The syntax for the pragma statement is given by the following EBNF grammar:

pragma ::= "pragma" "specify" number "." number

Todo

This feature is currently undocumented.