(vls-data-p x) is a defaggregate of the following fields.
orig — The original design, as seen very shortly after parsing. Invariant (vl-design-p orig).
name — Project name for this design. Invariant (stringp name).
date — Date stamp for this zip file. Invariant (stringp date).
ltime — Lisp time stamp for this zip file. Invariant (natp ltime).
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 vl-server as part of
its translation-loading scheme.
