[docs] Add missing JavaDocs (#6146)

This commit is contained in:
Tyler Veness
2024-01-04 08:38:06 -08:00
committed by GitHub
parent 6e58db398d
commit f29a7d2e50
145 changed files with 1106 additions and 94 deletions

View File

@@ -26,6 +26,11 @@ public interface Nat<T extends Num> {
*/
int getNum();
{% for num in nums %}
/**
* Returns the Nat instance for {{ num }}.
*
* @return The Nat instance for {{ num }}.
*/
static Nat<N{{ num }}> N{{ num }}() {
return N{{ num }}.instance;
}