Env: specify S.SIGNATURE (!199) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

Guillaume Claret requested to merge clarus@specify-s-signature into master Dec 24, 2021

Useful for https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/merge_requests/182

Edited Dec 24, 2021 by Guillaume Claret