Value-list
Fixtype of lists of values.
Note that a list of values is not a meta-level value,
i.e. it does not have type value.
It is an object-level value, of course;
it represents a list of meta-level values.
Subtopics
- Value-list-fix
- (value-list-fix x) is a usual ACL2::fty list fixing function.
- Value-list-equiv
- Basic equivalence relation for value-list structures.
- Value-listp
- (value-listp x) recognizes lists where every element satisfies valuep.
