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

type P757 = PInt<U757>;