Apply review suggestions - rename things and clean up style.

This commit is contained in:
Joe Farebrother
2025-08-26 10:44:24 +01:00
parent 8e5efb5fba
commit 80ab35c3a0
2 changed files with 22 additions and 43 deletions

View File

@@ -1,4 +1,4 @@
---
* category: minorAnalysis
---
* Added `LocOption` and `LocOption2` as modules providing option types with location information.
* Added `LocatableOption` and `OptionWithLocationInfo` as modules providing option types with location information.