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

pub type P801 = PInt<U801>;