Type Definition typenum::P824[][src]

pub type P824 = PInt<U824>;