 class="params">(<span name="buffer">buffer: (<span name="provingground.learning.PostDiscarder.discardPost.W" class="extype">W</span>) =&gt; <a href="PostDiscarder.html" name="provingground.learning.PostDiscarder" id="provingground.learning.PostDiscarder" class="extype">PostDiscarder</a>[<span name="provingground.learning.PostDiscarder.discardPost.P" class="extype">P</span>, <span name="provingground.learning.PostDiscarder.discardPost.ID" class="extype">ID</span>]</span>)</span><span class="params">(<span c