		Search-engine friendly clone of the ACL2 documentation.

Vl-portinfolist

A list of vl-portinfo-p objects.

This is an ordinary fty::deflist.

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.