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

pub type N801 = NInt<U801>;