WIP: Storage functor proofs
Attempts to have abstractions over the storage.
Reopening of https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/merge_requests/39
Edited by Guillaume Claret
Attempts to have abstractions over the storage.
Reopening of https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/merge_requests/39