Type Definition typenum::consts::P773

type P773 = PInt<U773>;