Storage: generalization of Single_data_storage.Make (!376) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

Guillaume Claret requested to merge guillaume-claret@storage-genralize-single-data-storage-make into master Mar 29, 2022

To help in https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/merge_requests/372