Type Definition typenum::N723

source · []
pub type N723 = NInt<U723>;