[][src]Type Definition typenum::P795

type P795 = PInt<U795>;