Type Definition typenum::P709[][src]

type P709 = PInt<U709>;