Type Definition typenum::consts::P778

type P778 = PInt<U778>;