Encodings in 馃悊 Tx_rollup_commitment_repr.v
Verify the following encodings in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/tx_rollup_commitment_repr :
-
Full.encoding
-
Index.encoding
-
Submitted_commitment.encoding
Edited by Shubham Kumar