r$.html#discardPost[P,W,ID](buffer:W=&gt;provingground.learning.PostDiscarder[P,ID])(implicitevidence$1:reflect.runtime.universe.TypeTag[P]):provingground.learning.BiPostable[P,W,ID]" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span class="modifier"></span> <span class="kind">def</span></span> <span class="symbol"><span class="name">discardPost</span><span class="tparams">[<span name="P">P</span>, <span name="W">W</span>, <span name="ID">ID</span>]</span><span