[][src]Type Definition typenum::N715

type N715 = NInt<U715>;