Type Definition typenum::consts::P523[][src]

type P523 = PInt<U523>;