Forked from
Iris / stdpp
Source project has a limited visibility.
-
Jacques-Henri Jourdan authored
This makes the typeclass mechanism able to use instances like [Is_true X -> Blah], where X reduces to X.
Jacques-Henri Jourdan authoredThis makes the typeclass mechanism able to use instances like [Is_true X -> Blah], where X reduces to X.
