[][src]Type Definition typenum::N12

type N12 = NInt<U12>;