Forked from
Iris / stdpp
Source project has a limited visibility.
-
Robbert Krebbers authored
The `Equiv` instance for the domain is not needed.
Robbert Krebbers authoredThe `Equiv` instance for the domain is not needed.
The `Equiv` instance for the domain is not needed.
The `Equiv` instance for the domain is not needed.