class="params">(<span name="fn">fn: (<a href="LocalProverStep.html" name="provingground.learning.LocalProverStep" id="provingground.learning.LocalProverStep" class="extype">LocalProverStep</a>) =&gt; <a href="LocalProverStep.html" name="provingground.learning.LocalProverStep" id="provingground.learning.LocalProverStep" class="extype">LocalProverStep</a></span>)</span><span class="result">: <a href="GlobalProver.html" name="provingground.learning.GlobalProver" id="provingground.learning.GlobalProver" class="