Type Definition typenum::consts::N12

type N12 = NInt<U12>;