[][src]Type Definition typenum::P688

type P688 = PInt<U688>;