Type Definition typenum::P547[][src]

pub type P547 = PInt<U547>;