Type Definition typenum::P523[][src]

pub type P523 = PInt<U523>;