[][src]Type Definition typenum::N235

type N235 = NInt<U235>;