name="provingground.scalahott.QField.LocalTerm" id="provingground.scalahott.QField.LocalTerm" class="extmbr">QField.LocalTerm</a> with <a href="../HoTT$$Subs.html" name="provingground.HoTT.Subs" id="provingground.HoTT.Subs" class="extype">Subs</a>[<a href="QField$.html#LocalTerm=provingground.scalahott.RepTerm[A]" name="provingground.scalahott.QField.LocalTerm" id="provingground.scalahott.QField.LocalTerm" class="extmbr">QField.LocalTerm</a>]</span></span><div class="fullcomment"><dl class="attributes block