Thinking of adding dedicate line for pressure or suction cleaner, pipe size?

I have a pressure line that leaks. I’m getting my patio replaced so I have a chance to dig it up and fix it. May be easier to just run a new line to the same hole. What’s a good, typical pipe size? I may have to run it inside the pipe that goes through my concrete pool wall.

Thanks