Represent FnDefs as zero-sized structs instead of Code#1338
Merged
fzaiser merged 14 commits intomodel-checking:mainfrom fzaiser:fix-code-bugJul 8, 2022
+162-17
Commits
Commits on Jul 5, 2022
Commits on Jul 6, 2022
Commits on Jul 7, 2022
- committed
- committed
- committed
- committed
- committed
- committed
- committed