DiffbleFunction.Oplus.D" class="extype">D</span>), <span name="provingground.learning.AdjDiffbleFunction.*:.C" class="extype">C</span>]</span>)</span><span class="result">: <a href="AdjDiffbleFunction.html" name="provingground.learning.AdjDiffbleFunction" id="provingground.learning.AdjDiffbleFunction" class="extype">AdjDiffbleFunction</a>[(<span name="provingground.learning.AdjDiffbleFunction.Oplus.A" class="extype">A</span>, <span name="provingground.learning.AdjDiffbleFunction.Oplus.C" class="extype">C</s