Encodings in ⛽ Gas_comparable_input_size.v
Verify the following encodings in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/gas_comparable_input_size :
-
encoding
-
micheline_size_encoding
Edited by Natasha Klaus