provingground.HoTT.Term" class="extype">Term</a>]] = <span class="symbol"><span class="name"><a href="../../scala/index.html">Vector()</a></span></span></span>, <span name="propDecay">propDecay: <span name="scala.Double" class="extype">Double</span> = <span class="symbol">0.5</span></span>, <span name="cutoff">cutoff: <span name="scala.Double" class="extype">Double</span> = <span class="symbol">0.01</span></span>, <span name="feedbackScale">feedbackScale: <span name="scala.Double" class="extype">Double</spa