Library Corelib.Compat.Rocq91


Compatibility file for making Rocq act similar to Coq v9.1

#[export] Set Warnings "-deprecated-since-9.2".