-
Robbert Krebbers authored
Both ndot and nclose involve encodings of countable types, and conversion should thus never unfold these definitions.
247eecb1
Both ndot and nclose involve encodings of countable types, and conversion should thus never unfold these definitions.