Type Definition typenum::N25[][src]

type N25 = NInt<U25>;