Type Definition typenum::consts::P519

type P519 = PInt<U519>;