[][src]Type Definition typenum::P722

type P722 = PInt<U722>;