cmt">A new object with the same type,
to be used in place of a variable to avoid name clashes.</p><div class="fullcomment"><div class="comment cmt"><p>A new object with the same type,
to be used in place of a variable to avoid name clashes.
Should throw exception when invoked for constants.
</p></div><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="" name="provingground.scalahott.ScalaUniv.FineSymbTyp" id="provingground.scalahott.ScalaUniv.FineSymbTyp" class="extype">FineSymbTyp</a> → 