Type Definition typenum::P523[][src]

type P523 = PInt<U523>;