(vl-lintresult-p x) is a defaggregate of the following fields.
design — Final, transformed list of modules. Typically this isn't very
interesting or relevant to anything. Invariant (vl-design-p design).
design0 — Almost: the initial, pre-transformed modules. The only twist is
that we have already removed modules that are unnecessary or
that we wanted to drop; see, e.g., the topmods and
ignore options of vl-lintconfig-p. This is used for
skip-detection, for instance. Invariant (vl-design-p design0).
reportcard — The main result: binds "original" (pre-unparameterization)
module names to their warnings. Invariant (vl-reportcard-p reportcard).
sd-probs — Possible problems noticed by skip-detection. These are
in a different format than ordinary warnings, so they
aren't included in the reportcard. Invariant (sd-problemlist-p sd-probs).
