rMapState,TermGenParams,List[Double],Successes,Vector[Typ[Term]],Set[EquationNode],Set[Term]):(Successes,Vector[Typ[Term]],Set[EquationNode],Set[Term])"></a> <span class="permalink"><a href="../../provingground/learning/ParStrategicProvers$.html#parChomper(typs:Vector[provingground.HoTT.Typ[provingground.HoTT.Term]],initState:provingground.learning.ParMapState,tg:provingground.learning.TermGenParams,cutoffs:List[Double],accumSucc:provingground.learning.StrategicProvers.Successes,accumFail:Vector[provinggrou