New_storage: initial refactoring
Context
This MR refactors the lib_new_storage
:
- The main change is that the
Simple
module is functorized so that the hash function becomes a parameter. This is useful to have an actual hash implementation while being able debug the code using just byte concatenation. - This MR defines two new files:
key.ml
andstream.ml
, for modules previously found insimple.ml
. - We remove the deprecated
Fixed_size
module. - We hide the
stream
type, only exposing theStream_consume
andStream_produce
modules. This way, the type checker ensures the correct handling of the stream.
Manually testing the MR
Checklist
Issue: finalize storage for ORU
Edited by Antonio Locascio