.ProbabilityDistribution" id="provingground.ProbabilityDistribution" class="extype">ProbabilityDistribution</a>[<a href="../HoTT$$Term.html" name="provingground.HoTT.Term" id="provingground.HoTT.Term" class="extype">Term</a>]</span>)</span><span class="result">: <a href="../ProbabilityDistribution.html" name="provingground.ProbabilityDistribution" id="provingground.ProbabilityDistribution" class="extype">ProbabilityDistribution</a>[<a href="../HoTT$$Term.html" name="provingground.HoTT.Term" id="provinggroun