[][src]Type Definition typenum::P543

type P543 = PInt<U543>;