Yes that's them - essentially just rigid gas-permeable lenses that you sleep in, temporarily changing the shape of your cornea to correct the vision so you don't need glasses or lenses the next day.
Sounds as if materials and manufacturing technology have advanced significantly over the years since I first started using GP lenses, which makes me more comfortable with the idea of ortho-k.
I'm seriously considering a trial.