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

type P523 = PInt<U523>;