Type Definition typenum::P707[][src]

type P707 = PInt<U707>;