Type Definition typenum::N13

source · []
pub type N13 = NInt<U13>;