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".