d.learning.StrategicProvers.SeekResult"></a><a id="polySolveTyp(Typ[Term],ParMapState,TermGenParams,List[Double],Set[Term]):SeekResult"></a> <span class="permalink"><a href="../../provingground/learning/ParStrategicProvers$.html#polySolveTyp(typ:provingground.HoTT.Typ[provingground.HoTT.Term],initState:provingground.learning.ParMapState,tg:provingground.learning.TermGenParams,cutoffs:List[Double],terms:Set[provingground.HoTT.Term]):provingground.learning.StrategicProvers.SeekResult" title="Permalink"><i cla