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

type P712 = PInt<U712>;