Use ReScript 10 record types in most places#20
Merged
TheSpyder merged 9 commits intomainfrom records-as-objectsDec 9, 2023
+588-617
Commits
Commits on Dec 9, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
