https://velus.inria.fr/lics2025/html/Velus.Lustre.Denot.Restr.html
Module Restr
Documentation of Coq module Restr
module
https://br.wikipedia.org/wiki/Restr:Lamairesse_-_Kama_Sutra.djvu
Restr:Lamairesse - Kama Sutra.djvu - Wikipedia
kama sutradjvuwikipedia