unc],args:provingground.FiniteDistribution[provingground.HoTT.Term],cutoff:Double,prevCutoff:Option[Double],accumTerms:Set[provingground.HoTT.Term],accumTyps:Set[provingground.HoTT.Typ[provingground.HoTT.Term]],limit:Long):monix.eval.Task[(Set[provingground.learning.EquationNode],Set[provingground.HoTT.Term],Set[provingground.HoTT.Typ[provingground.HoTT.Term]])]"></a><a id="taskUnAppEquations(FiniteDistribution[ExstFunc],FiniteDistribution[Term],Double,Option[Double],Set[Term],Set[Typ[Term]],Long):Task[(Set