Nat<N0>
public final class N0 extends Num implements Nat<N0>
static N0
instance
int
getNum()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public static final N0 instance
public int getNum()
getNum
Num