Library Corelib.Compat.Rocq91
Compatibility file for making Rocq act similar to Coq v9.1
#[
export
]
Set
Warnings
"-deprecated-since-9.2".