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

type P125 = PInt<U125>;