[][src]Type Definition typenum::N25

type N25 = NInt<U25>;