Type Definition typenum::N700[][src]

pub type N700 = NInt<U700>;