odifier"></span> <span class="kind">case class</span></span> <span class="symbol"><span class="name">Oplus</span><span class="tparams">[<span name="A">A</span>, <span name="B">B</span>, <span name="C">C</span>, <span name="D">D</span>]</span><span class="params">(<span name="first">first: <a href="AdjDiffbleFunction.html" name="provingground.learning.AdjDiffbleFunction" id="provingground.learning.AdjDiffbleFunction" class="extype">AdjDiffbleFunction</a>[<span name="provingground.learning.AdjDiffbleFunction.