Yes, there is a lap pool elevated above the main pool which I have used. Water cascades from one to the other.
It is not very long... maybe 20-25 yards... but the lanes have proper markers on the floor and the ends for turns so an experienced swimmer won't have any trouble using it. You may notice the the end of the pool is curved but there is a flat turn wall submerged a few feet back from the curve.
The same pool is used for volleyball so you may see a net over the pool as well. But the volleyball crowd tends to come out at happy hour in the late afternoon so lap swimmers have plenty of opportunity to use the pool for laps at other times. I don't think either use is scheduled.