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

type P525 = PInt<U525>;