und.HoTT.Term" class="extype">Term</a>])</span></span></li><li class="indented0 " name="provingground.learning.ParStrategicProvers#parSeekTyp" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="parSeekTyp(typ:provingground.HoTT.Typ[provingground.HoTT.Term],initState:provingground.learning.ParMapState,tg:provingground.learning.TermGenParams,cutoff:Double,terms:Set[provingground.HoTT.Term]):provingground.learning.StrategicProvers.SeekResult"></a><a id="parSeekTyp(Typ[Term],ParMapState,Te