"provingground.learning.TypedPostResponse.PairBot.W" class="extype">W</span>, <span name="provingground.learning.TypedPostResponse.PairBot.ID" class="extype">ID</span>]</span></span><div class="fullcomment"><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="TypedPostResponse.html" name="provingground.learning.TypedPostResponse" id="provingground.learning.TypedPostResponse" class="extype">TypedPostResponse</a></dd></dl></div></li><li class="indented0 " name="provingground.learning.TypedPost