Files
@ 528578bffb3f
Branch filter:
Location: CSY/reowolf/testdata/eval/positive/2.txt - annotation
528578bffb3f
1 B
text/plain
mild refactor of setup procedure's outermost function; more information is available to the session optimization step, and its easier to understand how invariants are preserved