vingground.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">dependent target scala type.</p><div class="fullcomment"><div class="comment cmt"><p>dependent target scala type.
</p></div><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="" name="provingground.induction.IterFunc