17. Modifiers

A modifier allows for changing certain properties and guarantees of an object or a group of objects.

Modifier      ::=  Constant | Pragma
ModifierValue ::=  (\n InstructionSet "end") | Value