<span class="kind">def</span></span> <span class="symbol"><span class="name">andthen</span><span class="tparams">[<span name="C">C</span>]</span><span class="params">(<span name="that">that: =&gt; <a href="AdjDiffbleFunction.html" name="provingground.learning.AdjDiffbleFunction" id="provingground.learning.AdjDiffbleFunction" class="extype">AdjDiffbleFunction</a>[(<span name="provingground.learning.AdjDiffbleFunction.Oplus.B" class="extype">B</span>, <span name="provingground.learning.AdjDiffbleFunction.Oplu