Encodings in 馃Ε Lazy_storage_diff.v
Verify the following encodings in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/lazy_storage_diff/ :
-
diff_encoding
-
item_encoding
-
encoding
Edited by Shubham Kumar
Verify the following encodings in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/lazy_storage_diff/ :
diff_encoding
item_encoding
encoding