[][src]Type Definition typenum::P727

type P727 = PInt<U727>;