span>]</span><span class="params">(<span name="that">that: <a href="ProbabilityDistribution.html" name="provingground.ProbabilityDistribution" id="provingground.ProbabilityDistribution" class="extype">ProbabilityDistribution</a>[<span name="provingground.ProbabilityDistribution.product.B" class="extype">B</span>]</span>)</span><span class="result">: <a href="ProbabilityDistribution$$Product.html" name="provingground.ProbabilityDistribution.Product" id="provingground.ProbabilityDistribution.Product" class="e