tcomment cmt">mix in weighted distributions;
the mixed in distributions are called by name, so can depend on this distribution.</p><div class="fullcomment"><div class="comment cmt"><p>mix in weighted distributions;
the mixed in distributions are called by name, so can depend on this distribution.
</p></div><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="ProbabilityDistribution.html" name="provingground.ProbabilityDistribution" id="provingground.ProbabilityDistribution" class="extype">Pr