[][src]Type Definition typenum::P753

type P753 = PInt<U753>;