doc/scopechecks.txt

   1 INDEX CHECKED, Scope; CHECKED; tag scope as reviewed
   2 HEAD- Scope Checks;;
   3 INDEX UNCHECKED, Scope; UNCHECKED; tag scope as unreviewed
   4
   5 The programmer can tag any scope as `UNCHECKED` or `CHECKED`. In *ALPHA* and *BETA*
   6 builds, a global `UNCHECKED` is implied. In *RELEASE* builds, `UNCHECKED` scopes are
   7 not allowed.
   8