Type Definition typenum::P712[][src]

type P712 = PInt<U712>;