</pre>

<h2 id="Expressions">Expressions</h2>

<p>
An expression specifies the computation of a value by applying
operators and functions to operands.
</p>

<h3 id="Operands">Operands</h3>

<p>
Operands denote the elementary values in an expression. An operand may be a
literal, a (possibly <a href="#Qualified_identifiers">qualified</a>)
non-<a href="#Blank_identifier">blank</a> identifier denoting a

<- y if on == 1, and does nothing otherwise. // // Both operands must have the same announced length. // //go:norace func (x *Nat) assign(on choice, y *Nat) *Nat { // Eliminate bounds checks in the loop. size := len(x.limbs) xLimbs := x.limbs[:size] yLimbs := y.limbs[:size] mask := ctMask(on) for i := 0; i < size; i++ { xLimbs[i] ^= mask & (xLimbs[i] ^ yLimbs[i]) } return x } // add computes x += y and returns the carry. // // Both operands must have the same announced length. // //go:norace func...