		Search-engine friendly clone of the ACL2 documentation.

Vl-operandinfo

This is a product type introduced by defprod.

orig-expr — vl-expr: The original index expression, for error messages etc
context — vl-scopecontext: The context in which the HID base was found
prefixname — vl-scopeexpr: The scopeexpr, not including the possible data selects.
declname — stringp: The name of the variable or parameter
hidtrace — vl-hidtrace: The follow-hids trace, i.e. the trace of instances/blocks in which the base variable is located
hidtype — vl-datatype: The datatype of the final element of the hidtrace.
seltrace — vl-seltrace: The select trace, i.e. the types/scopestacks of all the fields/indices we've selected into
part — vl-partselect: The final partselect
type — vl-datatype: The final datatype of the object, after partselecting.

Vl-operandinfo-fix: Fixing function for vl-operandinfo structures.
Vl-operandinfo-p: Recognizer for vl-operandinfo structures.
Make-vl-operandinfo: Basic constructor macro for vl-operandinfo structures.
Vl-operandinfo-equiv: Basic equivalence relation for vl-operandinfo structures.
Change-vl-operandinfo: Modifying constructor for vl-operandinfo structures.
Vl-operandinfo->prefixname: Get the prefixname field from a vl-operandinfo.
Vl-operandinfo->type: Get the type field from a vl-operandinfo.
Vl-operandinfo->seltrace: Get the seltrace field from a vl-operandinfo.
Vl-operandinfo->part: Get the part field from a vl-operandinfo.
Vl-operandinfo->orig-expr: Get the orig-expr field from a vl-operandinfo.
Vl-operandinfo->hidtype: Get the hidtype field from a vl-operandinfo.
Vl-operandinfo->hidtrace: Get the hidtrace field from a vl-operandinfo.
Vl-operandinfo->declname: Get the declname field from a vl-operandinfo.
Vl-operandinfo->context: Get the context field from a vl-operandinfo.