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

type P800 = PInt<U800>;