on.IterFuncPtnMap.IdIterPtnMap.Cod" class="extmbr">Cod</a>]</span>)</span><span class="result">: <a href="../HoTT$$Typ.html" name="provingground.HoTT.Typ" id="provingground.HoTT.Typ" class="extype">Typ</a>[<a href="#Cod=C" name="provingground.induction.IterFuncPtnMap.IdIterPtnMap.Cod" id="provingground.induction.IterFuncPtnMap.IdIterPtnMap.Cod" class="extmbr">Cod</a>]</span></span><p class="shortcomment cmt">target scala type.</p><div class="fullcomment"><div class="comment cmt"><p>target scala type.
</p></