Encodings in 馃М Saturation_repr.v
Verify the following encoding in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/saturation_repr :
-
n_encoding
Edited by Shubham Kumar
Verify the following encoding in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/saturation_repr :
n_encoding