Type Definition typenum::P101

type P101 = PInt<U101>;