">P</span>, <span name="ID">ID</span>]</span><span class="params">(<span name="nop">nop: <span name="provingground.learning.PostDiscarder.build.ID" class="extype">ID</span></span>)</span><span class="params">(<span class="implicit">implicit </span><span name="gp">gp: <a href="GlobalID.html" name="provingground.learning.GlobalID" id="provingground.learning.GlobalID" class="extype">GlobalID</a>[<span name="provingground.learning.PostDiscarder.build.ID" class="extype">ID</span>]</span>)</span><span class="resu