Verify Tx_rollup_commitment_repr.compare
Requires https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/72
In https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/tx_rollup_commitment_repr , verify Tx_rollup_commitment_repr.compare
Edited by Guillaume Claret