Search-engine friendly clone of the
ACL2 documentation
.
Top
Sv::vl-moddb.lisp
Vl-portinfo
This is a tagged union type, introduced by
deftagsum
.
Member Tags → Types
:bad
→
vl-portinfo-bad
:regular
→
vl-portinfo-regular
Subtopics
Vl-portinfo-fix
Fixing function for
vl-portinfo
structures.
Vl-portinfo-regular
Vl-portinfo-case
Case macro for the different kinds of
vl-portinfo
structures.
Vl-portinfo-p
Recognizer for
vl-portinfo
structures.
Vl-portinfo-equiv
Basic equivalence relation for
vl-portinfo
structures.
Vl-portinfo-bad
Vl-portinfo-kind
Get the
kind
(tag) of a
vl-portinfo
structure.