Type Definition typenum::P312

type P312 = PInt<U312>;