an>, <span name="provingground.induction.IterFuncPtnMap.IdIterPtnMap.O" class="extype">O</span>, <span name="provingground.induction.IterFuncPtnMap.IdIterPtnMap.C" class="extype">C</span>, <span name="provingground.induction.IterFuncPtnMap.IdIterPtnMap.C" class="extype">C</span>] with <span name="scala.Product" class="extype">Product</span> with <a href="../../scala/index.html#Serializable=java.io.Serializable" name="scala.Serializable" id="scala.Serializable" class="extmbr">Serializable</a></span></span></