olveTyp(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"></a><a id="parSolveTyp(Typ[Term],ParMapState,TermGenParams,Double,Set[Term]):SeekResult"></a> <span class="permalink"><a href="../../provingground/learning/ParStrategicProvers$.html#parSolveTyp(typ:provingground.HoTT.Typ[provingground.HoTT.Term],initState:provinggr