$_main$.html" title="" class="object"></a><a href="nat$decidable_eq$_main$.html" title="">nat$decidable_eq$_main</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="nat$decidable_eq$_match_1$.html" title="" class="object"></a><a href="nat$decidable_eq$_match_1$.html" title="">nat$decidable_eq$_match_1</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="nat$has_add$.html" title="" class="object"></a><a href="nat$has_add$.html" title="">n