ype">PostData</a>[_, <a href="HoTTPostWeb.html" name="provingground.learning.HoTTPostWeb" id="provingground.learning.HoTTPostWeb" class="extype">HoTTPostWeb</a>, (<span name="scala.Int" class="extype">Int</span>, <span name="scala.Int" class="extype">Int</span>)]]] = <span class="symbol"><span class="name"><a href="../../scala/index.html">None</a></span></span></span>)</span><span class="result">: <a href="HoTTWebSession.html" name="provingground.learning.HoTTWebSession" id="provingground.learning.HoTTWebSe