Type Definition typenum::P715[][src]

type P715 = PInt<U715>;