Implement FallbackArray
Define the functions in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/environment/fallbackarray/ (except set
and iter
that have side-effects).
Define the functions in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/environment/fallbackarray/ (except set
and iter
that have side-effects).