" id="provingground.HoTT.Typ" class="extype">Typ</a>[<a href="../HoTT$$Term.html" name="provingground.HoTT.Term" id="provingground.HoTT.Term" class="extype">Term</a>]]</span>, <span name="limit">limit: <span name="scala.Long" class="extype">Long</span></span>)</span><span class="result">: <span name="monix.eval.Task" class="extype">Task</span>[(<span name="scala.Predef.Set" class="extype">Set</span>[<a href="EquationNode.html" name="provingground.learning.EquationNode" id="provingground.learning.EquationNod