lass="modifier"></span> <span class="kind">type</span></span> <span class="symbol"><span class="name">ConstructorType</span><span class="result alias"> = <span name="provingground.induction.coarse.ConstructorDefn.U" class="extype">U</span></span></span><p class="shortcomment cmt">scala type, especially (nested) functions
</p><div class="fullcomment"><div class="comment cmt"><p>scala type, especially (nested) functions
</p></div><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="" name="pro