Forked from
Iris / Iris
Source project has a limited visibility.
-
Ralf Jung authoredadd some missing IsOp instances and remove accidental instance for mono_nat and mono_list See merge request iris/iris!828
Ralf Jung authoredadd some missing IsOp instances and remove accidental instance for mono_nat and mono_list See merge request iris/iris!828