Type Definition typenum::P712[−][src]

pub type P712 = PInt<U712>;