[][src]Type Definition typenum::N1001

type N1001 = NInt<U1001>;