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

type N715 = NInt<U715>;