Forked from
Iris / Iris
6396 commits behind the upstream repository.
-
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.
namespaces.v 3.54 KiB