ngground.Context" id="provingground.Context" class="extype">Context</a></span>, <span name="innerContext">innerContext: <a href="../Context.html" name="provingground.Context" id="provingground.Context" class="extype">Context</a></span>, <span name="variable">variable: <a href="../HoTT$$Term.html" name="provingground.HoTT.Term" id="provingground.HoTT.Term" class="extype">Term</a></span>, <span name="isDependent">isDependent: <span name="scala.Boolean" class="extype">Boolean</span></span>)</span><span class="