s hiddenContent"><a href="https://docs.oracle.com/en/java/javase/11/docs/api/java.base/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="IterFuncShape.html" name="provingground.induction.IterFuncShape" id="provingground.induction.IterFuncShape" class="extype">IterFuncShape</a>[<span name="provingground.