[−][src]Type Definition typenum::P537

type P537 = PInt<U537>;