Library Corelib.Compat.Coq818


Compatibility file for making Rocq act similar to Coq v8.18

Require Export Corelib.Compat.Coq819.

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