Type Definition typenum::P823[][src]

pub type P823 = PInt<U823>;