[rules = bitwise].
'Rules: bitwise                  Location: SPADE$CHECKER:BITWISE.RUL'.
''.
'Rules for handling the bit__and, bit__or and bit__xor functions'.
'associated with SPARK modular types.'.

[rules = modular].
'Rules: modular                  Location: SPADE$CHECKER:MODULAR.RUL'.
''.
'Rules for handling the SPARK mod operator.  Please note that the'.
'SPARK mod operator differs from the Pascal mod operator, and that'.
'these rules are only for use with the VC output of the SPARK'.
'Examiner.'.
