roofed swimming pool

• swimming pool covered by a roof or canopy