Indicates the checking state of various contracts.
Initial value
Never do checking
Always do checking
Only do checking in @safe functions
Indicates the checking state of various contracts.