Verifier cleanup (#2952)

* Add a description to structs
* Cleanup
This commit is contained in:
Alexander Bock
2023-11-19 11:51:19 +01:00
committed by GitHub
parent d6369edd18
commit 3c35d23062
17 changed files with 510 additions and 1168 deletions