(vls-data-p x) is a defaggregate of the following fields.
good — The successfully translated portion of the design. Invariant (vl-design-p good).
bad — The portion of the design that had errors or is otherwise
unsupported. Invariant (vl-design-p bad).
orig — The original design, as seen very shortly after parsing. Invariant (vl-design-p orig).
orig-descalist — A vl-descalist-p binding every description in the
original design to its definition. Invariant (vl-descalist-okp orig orig-descalist).
filemap — Map of all files that were loaded for this translation, for jumping
to particular locations. Invariant (vl-filemap-p filemap).
defs — Summary of all `defines encountered while parsing. Invariant (vl-defines-p defs).
Source link: vls-data-p
A vls-data-p structure just aggregates a bunch of data that is
produced when we run the translator.
These structures are typically produced by the server as part of
its translation-loading scheme.
