What does . do to evars that makes pattern_of_constr treat them differently? (cf https://github.com/coq/coq/issues/15520)
.
pattern_of_constr
Last updated: Jun 09 2023 at 07:01 UTC