round.HoTT.ExstFunc],args:provingground.FiniteDistribution[provingground.HoTT.Term],cutoff:Double):scala.collection.immutable.Vector[provingground.learning.EquationNode]"></a><a id="allAppEquations(FiniteDistribution[ExstFunc],FiniteDistribution[Term],Double):Vector[EquationNode]"></a> <span class="permalink"><a href="../../provingground/learning/SimpleEquations$.html#allAppEquations(funcs:provingground.FiniteDistribution[provingground.HoTT.ExstFunc],args:provingground.FiniteDistribution[provingground.HoTT.