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

type P10000 = PInt<U10000>;