Library iris.prelude.options

Coq configuration for Iris (not meant to leak to clients)

Export Set Default Proof Using "Type".
Export Set Suggest Proof Using.
Export Set Default Goal Selector "!".

Export Set Warnings "+deprecated-hint-without-locality".