[][src]Type Definition typenum::P776

type P776 = PInt<U776>;