"extype">provingground</a>.<a href="index.html" name="provingground.learning" id="provingground.learning" class="extype">learning</a>.<a href="TermRandomVars$.html" name="provingground.learning.TermRandomVars" id="provingground.learning.TermRandomVars" class="extype">TermRandomVars</a></p><h1>TypAsTermOpt<span class="permalink"><a href="../../provingground/learning/TermRandomVars$$TypAsTermOpt$.html" title="Permalink"><i class="material-icons"></i></a></span></h1><h3><span class="morelinks"></span></h3><