Type Definition typenum::N13

source · 
pub type N13 = NInt<U13>;