Type Definition typenum::P993

type P993 = PInt<U993>;