All Known Implementing Classes:: N0, N1, N10, N11, N12, N13, N14, N15, N16, N17, N18, N19, N2, N20, N3, N4, N5, N6, N7, N8, N9

public interface Nat<T extends Num>

A natural number expressed as a java class. The counterpart to Num that should be used as a concrete value.

Method Summary

Modifier and Type	Method	Description
`int`	`getNum()`	The number this interface represents.
`static Nat<N0>`	`N0()`
`static Nat<N1>`	`N1()`
`static Nat<N10>`	`N10()`
`static Nat<N11>`	`N11()`
`static Nat<N12>`	`N12()`
`static Nat<N13>`	`N13()`
`static Nat<N14>`	`N14()`
`static Nat<N15>`	`N15()`
`static Nat<N16>`	`N16()`
`static Nat<N17>`	`N17()`
`static Nat<N18>`	`N18()`
`static Nat<N19>`	`N19()`
`static Nat<N2>`	`N2()`
`static Nat<N20>`	`N20()`
`static Nat<N3>`	`N3()`
`static Nat<N4>`	`N4()`
`static Nat<N5>`	`N5()`
`static Nat<N6>`	`N6()`
`static Nat<N7>`	`N7()`
`static Nat<N8>`	`N8()`
`static Nat<N9>`	`N9()`

Interface Nat<T extends Num>