Type Definition typenum::N538[][src]

type N538 = NInt<U538>;