Type Definition typenum::P513[][src]

pub type P513 = PInt<U513>;