Encodings in 🏗 ️ Apply.v
Verify in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/apply the encoding:
-
denunciation_kind_encoding
Edited by Shubham Kumar
Verify in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/apply the encoding:
denunciation_kind_encoding