6 Checker Utilities🔗ℹ

The checker utilities are provided to make writing checker functions. They are provided in a few layers, each layer provides new functionality in addition to the lower one. These modules are (in order):

The following sections describe each of these modules.

    6.1 Sandbox

    6.2 Utilities

    6.3 Checker