		Search-engine friendly clone of the ACL2 documentation.

Priopt

Fixtype of printer options.

This is a product type introduced by fty::defprod.

This fixtype collects options that control various aspects of how the C code is printed.

Currently we support the following options:

The indentation size, i.e. how much each indentation level moves the starting column. This is measured in number of spaces, as a positive integer.
A flag saying whether conditional expressions nested in other conditional expressions should be parenthesized or not. For instance, whether the expression
```
a ? b ? c : d : e ? f g
```
should be printed as
```
a ? (b ? c : e) : (e ? f : g)
```
The two expressions are equivalent due to the precedence rules of C, but the second one is more readable. If the flag is t, the printer adds the parentheses.

We may add more options in the future.

Priopt-fix: Fixing function for priopt structures.
Priopt-equiv: Basic equivalence relation for priopt structures.
Make-priopt: Basic constructor macro for priopt structures.
Priopt->paren-nested-conds: Get the paren-nested-conds field from a priopt.
Priopt->indent-size: Get the indent-size field from a priopt.
Change-priopt: Modifying constructor for priopt structures.
Prioptp: Recognizer for priopt structures.