mirror of https://github.com/zcash/zips.git
Resolve a potential ambiguity in use of the ?: notation by adding parentheses.
This addresses a Least Authority comment. Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
parent
a35f4275a1
commit
0334dde7a2
|
@ -10014,7 +10014,7 @@ The constraint ``either $a = 0$ or $b = c$'' can be implemented as:
|
||||||
\introlist
|
\introlist
|
||||||
\subsubsubsection{Selection constraints} \label{cctselection}
|
\subsubsubsection{Selection constraints} \label{cctselection}
|
||||||
|
|
||||||
A selection constraint $b \bchoose x : y = z$, where $b \typecolon \bit$ has been
|
A selection constraint $(b \bchoose x : y) = z$, where $b \typecolon \bit$ has been
|
||||||
boolean-constrained, can be implemented as:
|
boolean-constrained, can be implemented as:
|
||||||
|
|
||||||
\begin{formulae}
|
\begin{formulae}
|
||||||
|
|
Loading…
Reference in New Issue