Type Definition typenum::P778[][src]

type P778 = PInt<U778>;