name="cutoff">cutoff: <span name="scala.Double" class="extype">Double</span></span>, <span name="terms">terms: <span name="scala.Predef.Set" class="extype">Set</span>[<a href="../HoTT$$Term.html" name="provingground.HoTT.Term" id="provingground.HoTT.Term" class="extype">Term</a>]</span>)</span><span class="result">: <a href="StrategicProvers$.html#SeekResult=(provingground.learning.StrategicProvers.Successes,Set[provingground.learning.EquationNode],Set[provingground.HoTT.Term])" name="provingground.learning