Type Definition typenum::P713[][src]

pub type P713 = PInt<U713>;