Type Definition typenum::N812

source · []
pub type N812 = NInt<U812>;