[][src]Type Definition typenum::P657

type P657 = PInt<U657>;