-
Robbert Krebbers authored
Typeclass search gets less confused when this version is used, also, we had the same for `wp_bind` already.
Robbert Krebbers authoredTypeclass search gets less confused when this version is used, also, we had the same for `wp_bind` already.
ectx_lifting.v 4.08 KiB