ass="result">: <a href="AdjDiffbleFunction.html" name="provingground.learning.AdjDiffbleFunction" id="provingground.learning.AdjDiffbleFunction" class="extype">AdjDiffbleFunction</a>[<span name="provingground.learning.AdjDiffbleFunction.Oplus.C" class="extype">C</span>, <span name="provingground.learning.AdjDiffbleFunction.Oplus.D" class="extype">D</span>]</span></span></li><li class="indented0 " name="scala.AnyRef#synchronized" group="Ungrouped" fullComment="yes" data-isabs="false" visbl="pub"><a id="synch