n class="math display">\[ \int_{-\infty}^y \text{Normal}(y \, | \, \mu, \sigma) \
\text{d}y. \]</span> There are also log forms of the CDF and CCDF for most
univariate distributions. For example, <code>normal_lcdf(y | mu, sigma)</code>
is defined by <span class="math display">\[ \log \left( \int_{-\infty}^y \text{Normal}(y \, | \,
\mu, \sigma) \   \text{d}y \right) \]</span> and <code>normal_lccdf(y | mu, sigma)</code> is defined by <span class="math display">\[ \log \left( 1 - \int_{-\infty}^y
\text{Normal