Type Definition typenum::P707[][src]

pub type P707 = PInt<U707>;