Translate test_tez_repr.ml
Translate the following file https://gitlab.com/tezos/tezos/-/blob/master/src/proto_alpha/lib_protocol/test/pbt/test_tez_repr.ml to Coq in the folder https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/tree/master/src/Proto_alpha/Tests/pbt_generated using coq-of-ocaml
https://hackmd.io/NVRTuBgXRf-3_SYggZb_8w