Type Definition typenum::consts::P1001

type P1001 = PInt<U1001>;