="" class="object"></a> <a href="TermState.html" title="A state, typically the initial state, for generating terms, types etc" class="class"></a><a href="TermState.html" title="A state, typically the initial state, for generating terms, types etc">TermState</a></li><li class="current-entities indented2"><a href="TermsTypThms$.html" title="" class="object"></a> <a href="TermsTypThms.html" title="" class="trait"></a><a href="TermsTypThms.html" title="">TermsTypThms</a></li><li class="current-entities indented