w vector.</p>
</div>
<div id="type-inference-rules" class="section level3">
<h3>Type Inference Rules</h3>
<p>Stan’s type inference rules define the implementation type of an
expression based on a background set of variable declarations. The
rules work bottom up from primitive literal and variable expressions
to complex expressions.</p>
<div id="literals" class="section level4">
<h4>Literals</h4>
<p>An integer literal expression such as <code>42</code> is of type <code>int</code>.
Real literals such as <co