Type Definition typenum::P725[][src]

type P725 = PInt<U725>;