span><span class="result alias"> = <span name="provingground.induction.IterFuncPtnMap.IdIterPtnMap.O" class="extype">O</span></span></span><p class="shortcomment cmt">scala type (upper bound) for a member of the family, i.e., sections
</p><div class="fullcomment"><div class="comment cmt"><p>scala type (upper bound) for a member of the family, i.e., sections
</p></div><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="IterFuncPtnMap.html" name="provingground.induction.IterFuncPtnMap" id="pr