Posts" class="extype">QueryFromPosts</a>[<span name="provingground.learning.QueryFromPosts.CaseCons.Q" class="extype">Q</span>, <span name="provingground.learning.QueryFromPosts.CaseCons.Pt" class="extype">Pt</span>]</span>)</span><span class="result"> extends <a href="QueryFromPosts.html" name="provingground.learning.QueryFromPosts" id="provingground.learning.QueryFromPosts" class="extype">QueryFromPosts</a>[<span name="provingground.learning.QueryFromPosts.CaseCons.Q" class="extype">Q</span>, <span name="