Created by @alexanderjsummers on 2017-08-08 14:46
Last updated on 2020-02-17 16:53
The attached example illustrates the problem. In the code, an unfolding expression is ultimately evaluated just to its body; the actual unfold operation is only considered for well-definedness checking.
Attachments:
The attached example illustrates the problem. In the code, an unfolding expression is ultimately evaluated just to its body; the actual unfold operation is only considered for well-definedness checking.
Attachments:
0213.sil