span class="result">: <a href="StrategicProvers$.html#SeekResult=(provingground.learning.StrategicProvers.Successes,Set[provingground.learning.EquationNode],Set[provingground.HoTT.Term])" name="provingground.learning.StrategicProvers.SeekResult" id="provingground.learning.StrategicProvers.SeekResult" class="extmbr">SeekResult</a></span></span></li><li class="indented0 " name="provingground.learning.ParStrategicProvers#parSolveTyp" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="parS