It's not Olympic size but in my opinion the pool in front is plenty long enough for laps.
One of the best hotels there is.
It's not a lap pool. But it's big enough to enjoy being in a pool, if that makes sense.
Thanks! Your answer is awaiting moderation.