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

type P712 = PInt<U712>;