g.HoTTPostWeb,(Int,Int)]withProductwithjava.io.Serializable]">initBots</a></span></span></span>, <span name="completion">completion: <span name="scala.Option" class="extype">Option</span>[(<a href="HoTTPostWeb.html" name="provingground.learning.HoTTPostWeb" id="provingground.learning.HoTTPostWeb" class="extype">HoTTPostWeb</a>) =&gt; <span name="scala.concurrent.Future" class="extype">Future</span>[<a href="PostData.html" name="provingground.learning.PostData" id="provingground.learning.PostData" class="ext