Type Definition typenum::P32

type P32 = PInt<U32>;