Type Definition typenum::N801

source · []
pub type N801 = NInt<U801>;