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