Michelson: add definition for the simulation 'dep_diff_of_big_map' (!594) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

Rex Yuan requested to merge rex@diff_of_big_map into master Jun 20, 2022

Fixes https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/218

Edited Jun 20, 2022 by Guillaume Claret