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

type P725 = PInt<U725>;