[][src]Type Definition typenum::N23

type N23 = NInt<U23>;