Type Definition typenum::N15

type N15 = NInt<U15>;