rmGenParams,Double,Set[Term]):SeekResult"></a> <span class="permalink"><a href="../../provingground/learning/ParStrategicProvers$.html#parSeekTyp(typ:provingground.HoTT.Typ[provingground.HoTT.Term],initState:provingground.learning.ParMapState,tg:provingground.learning.TermGenParams,cutoff:Double,terms:Set[provingground.HoTT.Term]):provingground.learning.StrategicProvers.SeekResult" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span class="modifier"></span> <span