Search-engine friendly clone of the
ACL2 documentation
.
Top
Sv::vl-moddb.lisp
Vl-portinfolist
A list of
vl-portinfo-p
objects.
This is an ordinary
fty::deflist
.
Subtopics
Vl-portinfolist-fix
(vl-portinfolist-fix x)
is a usual
fty
list fixing function.
Vl-portinfolist-equiv
Basic equivalence relation for
vl-portinfolist
structures.
Vl-portinfolist-p
(vl-portinfolist-p x)
recognizes lists where every element satisfies
vl-portinfo-p
.