[][src]Type Definition typenum::consts::P715

type P715 = PInt<U715>;