Top

Vl-make-paramdecloverrides

Vl-paramdecloverridelist

A list of vl-paramdecloverride-p objects.

This is an ordinary fty::deflist.

Subtopics

Vl-paramdecloverridelist-fix: (vl-paramdecloverridelist-fix x) is a usual ACL2::fty list fixing function.
Vl-paramdecloverridelist-equiv: Basic equivalence relation for vl-paramdecloverridelist structures.
Vl-paramdecloverridelist-p: (vl-paramdecloverridelist-p x) recognizes lists where every element satisfies vl-paramdecloverride-p.