-
Robbert Krebbers authored
Now we follow Coq's stdlib and declare this instance using a `Hint Extern`; this avoids making `flip` type class opaque.
5ba352a3
Now we follow Coq's stdlib and declare this instance using a `Hint Extern`; this avoids making `flip` type class opaque.