When does `Extraction`

decide whether to renumber things (turning `f`

into `f0`

, `f1`

, etc) vs put them in modules (`Coq__1.f`

, `Coq__2.f`

, etc?) (I'm trying to minimize https://github.com/coq/coq/issues/16677)

Last updated: Jun 16 2024 at 04:03 UTC