[][src]Type Definition typenum::P711

type P711 = PInt<U711>;