		Search-engine friendly clone of the ACL2 documentation.

Expr-priority-expr

This is a product type, introduced by fty::deftagsum in support of expr-priority.

This is an atomic/empty structure; it has no fields.

Make-expr-priority-expr: Basic constructor macro for expr-priority-expr structures.
Change-expr-priority-expr: Modifying constructor for expr-priority-expr structures.