[][src]Type Definition typenum::P411

type P411 = PInt<U411>;