Type Definition typenum::consts::N3

type N3 = NInt<U3>;