e/java/io/Serializable.html#java.io.Serializable" name="java.io.Serializable" id="java.io.Serializable" class="extype">Serializable</a>, <span name="scala.Product" class="extype">Product</span>, <span name="scala.Equals" class="extype">Equals</span>, <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>, <spa