Type Definition typenum::P137[][src]

type P137 = PInt<U137>;