[EquationNode],Set[Term],Set[Typ[Term]])]"></a> <span class="permalink"><a href="../../provingground/learning/SimpleEquations$.html#taskUnAppEquations(funcs:provingground.FiniteDistribution[provingground.HoTT.ExstFunc],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