Type Definition typenum::P507[][src]

type P507 = PInt<U507>;