Library Corelib.Compat.Rocq90


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

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