Library Corelib.Compat.Rocq92
Compatibility file for making Rocq act similar to Coq v9.2
#[
export
]
Set
Warnings
"-deprecated-since-9.3".
#[
export
]
Set
Inline
Abstract
Subproof
.
#[
export
]
Set
Asymmetric
Patterns
No
Implicits
.