feat: parity between structure instance notation and where notation#6165
Merged
kmill merged 3 commits intoleanprover:masterfrom kmill:struct_inst_field_argsNov 30, 2024
+328-174
Commits
Commits on Nov 30, 2024
- committed
- committed
- committed
