[][src]Type Definition typenum::consts::P538

type P538 = PInt<U538>;