Type Definition typenum::N507[][src]

type N507 = NInt<U507>;