Type Definition typenum::P875[][src]

pub type P875 = PInt<U875>;