Type Definition typenum::N813

source · []
pub type N813 = NInt<U813>;