[][src]Type Definition typenum::P823

type P823 = PInt<U823>;