[][src]Type Definition typenum::N1023

type N1023 = NInt<U1023>;