I think they have multiple
The lap pool is half the length of an Olympic size pool and the laps are done by swimming the width of the Olympic size pool.
I would guess like 40 meters but I didn't check, that also depends on which way they have the maps going 40 the short way 120 the long way is what I'm guessing
Thanks! Your answer is awaiting moderation.