[][src]Type Definition typenum::N701

type N701 = NInt<U701>;