Type Definition typenum::P31

type P31 = PInt<U31>;