>nat$has_add</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="nat$has_le$.html" title="" class="object"></a><a href="nat$has_le$.html" title="">nat$has_le</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="nat$has_mul$.html" title="" class="object"></a><a href="nat$has_mul$.html" title="">nat$has_mul</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="nat$has_one$.html" title="" class="object"></a