translation.FreeExpr.TT" id="provingground.translation.FreeExpr.TT" class="extype">TT</a>, <a href="FreeExpr$$TypVariable.html" name="provingground.translation.FreeExpr.TypVariable" id="provingground.translation.FreeExpr.TypVariable" class="extype">TypVariable</a>, <a href="FreeExpr$$Variable.html" name="provingground.translation.FreeExpr.Variable" id="provingground.translation.FreeExpr.Variable" class="extype">Variable</a></div></div></div><div id="inheritance-diagram-container" class="toggleContainer bloc