[][src]Type Definition typenum::N253

type N253 = NInt<U253>;