Type Definition typenum::consts::P777[][src]

type P777 = PInt<U777>;