Leisure facility (4)

I believe this is a double definition.
'leisure' is the first definition.
(I've seen this before)
'facility' is the second definition.
(facility can mean ease or absence of difficulty)
(Other definitions for ease that I've seen before include "Lack of worry or agitation" , "Free from pain" , "At this, one is relaxed" , "Effortlessness" , "Assuage" .)
'leisure facility' is the definition.
This is the entire clue.
(Other definitions for swimming pool that I've seen before include "Place for public bathing" , "Lido" .)