llcomment"><dl class="attributes block"><dt>Definition Classes</dt><dd>Any</dd></dl></div></li><li class="indented0 " name="provingground.learning.HoTTWebSession#launch" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="launch(state:provingground.learning.WebState[provingground.learning.HoTTPostWeb,(Int,Int)],bots:Vector[provingground.learning.HoTTBot.HoTTBot],completion:Option[provingground.learning.HoTTPostWeb=&gt;scala.concurrent.Future[provingground.learning.PostData[_,provinggrou