Type Definition typenum::N3

type N3 = NInt<U3>;