Vl-blockitem
Recognizer for a valid block item.
This is a ``transparent'' sum type introduced using deftranssum. It
is simply any one of the following types:
vl-blockitem-p is a sum-of-products style type for recognizing
valid block items. The valid block item declarations include variable
declarations and parameter declarations (parameter and localparam), which we
represent as vl-vardecl-p and vl-paramdecl-p objects,
respectively.
Subtopics
- Vl-blockitem-fix
- (vl-blockitem-fix x) is a ACL2::fty fixing function.
- Vl-blockitem-p
- Recognizer for vl-blockitem.
- Vl-blockitem-equiv
- Basic equivalence relation for vl-blockitem structures.
