Library Corelib.Compat.Coq819
Compatibility file for making Rocq act similar to Coq v8.19
Require
Export
Corelib.Compat.Coq820
.
#[
export
]
Set
Warnings
"-deprecated-since-8.20".