ction of y given location mu and scale sigma</p>
<!-- real; double_exponential_lcdf; (reals y | reals mu, reals sigma); -->

<p><code>real</code> <strong><code>double_exponential_lcdf</code></strong><code>(reals y | reals mu, reals sigma)</code><br>The log of the double exponential cumulative distribution function of y given location mu and scale sigma</p>
<!-- real; double_exponential_lccdf; (reals y | reals mu, reals sigma); -->

<p><code>real</code> <strong><code>double_exponential_lccdf</code></strong><