Type Definition typenum::P472[][src]

pub type P472 = PInt<U472>;