Type Definition typenum::consts::P138

type P138 = PInt<U138>;