Cleaner code in Safe_typing module closure.#21891
Open
ppedrot wants to merge 1 commit intorocq-prover:masterfrom
Open
Cleaner code in Safe_typing module closure.#21891ppedrot wants to merge 1 commit intorocq-prover:masterfrom
ppedrot wants to merge 1 commit intorocq-prover:masterfrom
