cons:U" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span class="modifier"></span> <span class="kind">val</span></span> <span class="symbol"><span class="name">cons</span><span class="result">: <span name="provingground.induction.coarse.ConstructorDefn.U" class="extype">U</span></span></span><p class="shortcomment cmt">the constructor (function or constant) itself.</p><div class="fullcomment"><div class="comment cmt"><p>the constructor (function or constant) it