"></a><a href="TermRandomVars$$TermsWithTyp$.html" title="family of distributions of terms with specified type">TermsWithTyp</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="TermRandomVars$$TermsWithTypFn$.html" title="Wrapper for terms with type family to allow equality and  toString to work." class="object"></a><a href="TermRandomVars$$TermsWithTypFn$.html" title="Wrapper for terms with type family to allow equality and  toString to work.">TermsWithTypFn</a></li><li 