		Search-engine friendly clone of the ACL2 documentation.

Abstract-syntax-operations

Expr-priority

Fixtype of expression priorities.

This is a tagged union type, introduced by fty::deftagsum.

The grammar defines different kinds of expressions in order to specify their relative priorities. This fixtype corresponds to those kinds/priorities of expressions, straighforwardly derived from the grammar. The :expr case is for top-level expressions, i.e. the rule name expression in the ABNF grammar.

Subtopics

Expr-priority-fix: Fixing function for expr-priority structures.
Expr-priority-case: Case macro for the different kinds of expr-priority structures.
Expr-priorityp: Recognizer for expr-priority structures.
Expr-priority-equiv: Basic equivalence relation for expr-priority structures.
Expr-priority-kind: Get the kind (tag) of a expr-priority structure.
Expr-priority-xor
Expr-priority-unary
Expr-priority-sh
Expr-priority-rel
Expr-priority-primary
Expr-priority-postfix
Expr-priority-mul
Expr-priority-logor
Expr-priority-logand
Expr-priority-ior
Expr-priority-expr
Expr-priority-eq
Expr-priority-cond
Expr-priority-cast
Expr-priority-asg
Expr-priority-and
Expr-priority-add

Expr-priority

Member Tags → Types

Subtopics