d.learning.AdjDiffbleFunction[A,B],second:provingground.learning.AdjDiffbleFunction[C,D]):provingground.learning.AdjDiffbleFunction.Oplus[A,B,C,D]"></a><a id="&lt;init&gt;:Oplus[A,B,C,D]"></a> <span class="permalink"><a href="../../provingground/learning/AdjDiffbleFunction$$Oplus.html#&lt;init&gt;(first:provingground.learning.AdjDiffbleFunction[A,B],second:provingground.learning.AdjDiffbleFunction[C,D]):provingground.learning.AdjDiffbleFunction.Oplus[A,B,C,D]" title="Permalink"><i class="material-icons">