Type Definition typenum::P253[][src]

type P253 = PInt<U253>;