Type Definition typenum::consts::P823[][src]

type P823 = PInt<U823>;