 unnumbered">
<h3>Type constraints</h3>
<p>A well-formed Stan program must satisfy the type constraints imposed
by functions and distributions. For example, the binomial
distribution requires an integer total count parameter and integer
variate and when truncated would require integer truncation points.
If these constraints are violated, the program will be rejected during
parsing with an error message indicating the location of the problem.</p>
</div>
<div id="operator-precedence-and-associativity-1" class