Type Definition typenum::P813[][src]

pub type P813 = PInt<U813>;