Skip to content

Avoid relying on implicit instance generalization, and name some instances.

Robbert Krebbers requested to merge robbert/implicit_names into master

Fix in preparation for

I didn't name the Forall2 instances, since I could not come up with a good naming scheme. So, I just used the .

There are probably plenty of other unnamed instances, but I would prefer defer naming them.

Merge request reports