Type Definition typenum::P801[][src]

pub type P801 = PInt<U801>;