.translation" id="provingground.translation" class="extype">translation</a>.<a href="FreeExpr$.html" name="provingground.translation.FreeExpr" id="provingground.translation.FreeExpr" class="extype">FreeExpr</a></p><h1><a href="FreeExpr$$TypVariable.html" title="See companion class">TypVariable</a><span class="permalink"><a href="../../provingground/translation/FreeExpr$$TypVariable$.html" title="Permalink"><i class="material-icons"></i></a></span></h1><h3><span class="morelinks"><div>Companion <a href="F