[][src]Type Definition typenum::P754

type P754 = PInt<U754>;