Type Definition typenum::N133[][src]

type N133 = NInt<U133>;