Encodings in 馃寣 Alpha_context.v
In https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/alpha_context verify the following encodings:
-
Operation.unsigned_encoding
-
Round.round_durations_encoding
-
Big_map.Id.encoding
-
Sapling.Id.encoding
Edited by Kewerson Hugo