Type Definition typenum::P777[][src]

type P777 = PInt<U777>;