Type Definition typenum::consts::N880 [] [src]

type N880 = NInt<U880>;