add 'Global' to 'Typeclasses Opaque'/'Transparent'
Coq has started warning about this. Let's see if all our supported Coq versions support adding Global
here.
Coq has started warning about this. Let's see if all our supported Coq versions support adding Global
here.