[][src]Type Definition typenum::N9

type N9 = NInt<U9>;