Type Definition typenum::P10000[−][src]

type P10000 = PInt<U10000>;