[][src]Type Definition typenum::P772

type P772 = PInt<U772>;