[][src]Type Definition typenum::P687

type P687 = PInt<U687>;