Type Definition typenum::P752[][src]

pub type P752 = PInt<U752>;