TypOpt</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="TermRandomVars$$Typs$.html" title="distribution of types" class="object"></a><a href="TermRandomVars$$Typs$.html" title="distribution of types">Typs</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="TermRandomVars$$TypsAndFamilies$.html" title="distribution of types and type families" class="object"></a><a href="TermRandomVars$$TypsAndFamilies$.html" title="distribution of typ