[][src]Type Definition typenum::P807

type P807 = PInt<U807>;