[fixes #2273] Add SuccessorSet and associated boilerplate#2277
Merged
MatthewDaggitt merged 10 commits intoagda:masterfrom Apr 4, 2024
Merged
[fixes #2273] Add SuccessorSet and associated boilerplate#2277MatthewDaggitt merged 10 commits intoagda:masterfrom
SuccessorSet and associated boilerplate#2277MatthewDaggitt merged 10 commits intoagda:masterfrom