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

pub type P712 = PInt<U712>;