Type Definition typenum::P667[][src]

type P667 = PInt<U667>;