ovingground.learning.GlobalProver.Elementary#&lt;init&gt;" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="&lt;init&gt;(lp:provingground.learning.LocalProverStep,getResult:provingground.learning.LocalProverStep=&gt;monix.eval.Task[R]):provingground.learning.GlobalProver.Elementary[R]"></a><a id="&lt;init&gt;:Elementary[R]"></a> <span class="permalink"><a href="../../provingground/learning/GlobalProver$$Elementary.html#&lt;init&gt;(lp:provingground.learning.LocalProverStep,getResult: