nd.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.Term]],prevCutoff:Option[Double],accum:Set[provingground.learning.EquationNode]):monix.eval.Task[Set[provingground.learning.EquationNode]]" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kin