[][src]Type Definition typenum::P1012

type P1012 = PInt<U1012>;