Encodings in 馃 Main.v
Verify the following encodings in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/main/ :
-
block_header_data_encoding
-
block_header_metadata_encoding
-
operation_data_encoding
-
operation_receipt_encoding
-
operation_data_and_receipt_encoding
Edited by Natasha Klaus