Type Definition typenum::P538[][src]

type P538 = PInt<U538>;