d.HoTT.Term" class="extype">Term</a>]</span></span></li><li class="indented0 " name="provingground.learning.Deducer.Sampler#mkSample" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="mkSample(pd:provingground.ProbabilityDistribution[provingground.HoTT.Term],n:Int):Unit"></a><a id="mkSample(ProbabilityDistribution[Term],Int):Unit"></a> <span class="permalink"><a href="../../provingground/learning/Deducer$Sampler.html#mkSample(pd:provingground.ProbabilityDistribution[provingground.HoTT