Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
Both ndot and nclose involve encodings of countable types, and conversion should thus never unfold these definitions.
Robbert Krebbers authoredBoth ndot and nclose involve encodings of countable types, and conversion should thus never unfold these definitions.
