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

type P772 = PInt<U772>;