[][src]Type Definition typenum::P519

type P519 = PInt<U519>;