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

pub type P800 = PInt<U800>;