Vl-usertype-lookup
Looks up a usertype name and returns its definition if successful.
- Signature
(vl-usertype-lookup x ss &key (scopes 'nil) (rec-limit '1000))
→
(mv err type)
- Arguments
- x — The usertype name to look up.
Guard (vl-scopeexpr-p x).
- ss — Guard (vl-scopestack-p ss).
- scopes — Guard (vl-elabscopes-p scopes).
- rec-limit — Guard (natp rec-limit).
- Returns
- err — Error message if unsuccessful.
Type (iff (vl-msg-p err) err).
- type — Fully resolved type, if successful.
Type (and (vl-maybe-datatype-p type)
(implies (not err)
(vl-datatype-p type)))
.