Type Definition typenum::P425[][src]

type P425 = PInt<U425>;