[][src]Type Definition typenum::P547

type P547 = PInt<U547>;