Code contracts and definitions. This file is the source of truth, follow it, or discuss and change it.
This category contains only the following page.