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

type P700 = PInt<U700>;