class="indented0 " name="provingground.learning.SimpleEquations#timedUnAppEquations" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="timedUnAppEquations(funcs:provingground.FiniteDistribution[provingground.HoTT.ExstFunc],args:provingground.FiniteDistribution[provingground.HoTT.Term],cutoff:Double,maxTime:scala.concurrent.duration.FiniteDuration,minCutoff:Option[Double],cutoffScale:Double,accumTerms:Set[provingground.HoTT.Term],accumTyps:Set[provingground.HoTT.Typ[provingground.HoTT.