.ParMapState,tg:provingground.learning.TermGenParams,cutoffs:List[Double],accumSucc:provingground.learning.StrategicProvers.Successes,accumFail:Vector[provingground.HoTT.Typ[provingground.HoTT.Term]],accumEqs:Set[provingground.learning.EquationNode],accumTerms:Set[provingground.HoTT.Term]):(provingground.learning.StrategicProvers.Successes,Vector[provingground.HoTT.Typ[provingground.HoTT.Term]],Set[provingground.learning.EquationNode],Set[provingground.HoTT.Term])"></a><a id="parChomper(Vector[Typ[Term]],Pa