Vl-unparameterize-main
Unparameterize a module and its dependencies.
- Signature
(vl-unparameterize-main instkey donelist depthlimit
elabindex ledger &key (config 'config))
→
(mv warnings
new-mods new-interfaces new-classes
donelist new-elabindex ledger)
- Arguments
- instkey — a single signature to expand.
Guard (vl-unparam-instkey-p instkey).
- donelist — fast alist of previously-seen signatures.
Guard (vl-unparam-donelist-p donelist).
- depthlimit — termination counter.
Guard (natp depthlimit).
- elabindex — global scope.
- ledger — Guard (vl-unparam-ledger-p ledger).
- config — Guard (vl-simpconfig-p config).
- Returns
- warnings — Type (vl-warninglist-p warnings).
- new-mods — All of the modules (not seen before) that you need
to meet this signature, including instantiated
ones.
Type (vl-modulelist-p new-mods).
- new-interfaces — All of the interfaces (not seen before) that you need
to meet this signature, including instantiated
ones.
Type (vl-interfacelist-p new-interfaces).
- new-classes — All of the classes (not seen before) that you need
to meet this signature.
Type (vl-classlist-p new-classes).
- donelist — Type (vl-unparam-donelist-p donelist).
- ledger — Type (vl-unparam-ledger-p ledger).
