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

type P777 = PInt<U777>;