Type Definition typenum::P720[][src]

type P720 = PInt<U720>;