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

type P513 = PInt<U513>;