mina
mina copied to clipboard
Refactoring `Merkle_ledger`
- activate warnings (and fix them)
- move interface definitions in
Intf
only (and thus avoid repetition) - add interfaces to all modules
- remove some dead code (thanks to warnings too)
This is preliminary work/scaffolding for heavier changes (to come at some point down the road)
Still todo
- [x] Cleanup history (do not review until this is crossed)
!ci-build-me
!ci-build-me
!ci-build-me
!ci-build-me